Attempt fix for dashtodock

2017.1/aims-desktop-2017/conf/gsettings/95_dashtodock.gschema.override

 # Dash to Dock extension
 [org.gnome.shell.extensions.dash-to-dock]
+apply-custom-theme=true
 show-apps-at-top=true
+dock-fixed=true
+animate-show-apps=false
 extend-height=true
-scroll-action='do-nothing'
-apply-custom-theme=true
-preferred-monitor=0
-icon-size-fixed=true
-dash-max-icon-size=32
 isolate-workspaces=true
-dock-fixed=true
 scroll-action='switch-workspace'

2017.1/aims-desktop-2017/debian/changelog

+aims-desktop (2019.01.27) unstable; urgency=medium
+
+  * Attempt to fix dash-to-dock settings
+
+ -- Jonathan <jonathan@aims.ac.za>  Thu, 07 Feb 2019 13:22:37 +0000
+
 aims-desktop (2019.01.26) stretch; urgency=medium
 
   * Recomend grub-pc-bin and either grub-pc or grub-efi