# Dash to Dock extension [org.gnome.shell.extensions.dash-to-dock] apply-custom-theme=true dock-fixed=true show-apps-at-top=true extend-height=true
