ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Dash-to-dock is still buggy with other windows

Browse source
This commit is contained in:
Anthony Rose 2021-12-17 12:46:21 +00:00
parent 50a0708a86
commit 810defca39
1 changed files with 7 additions and 7 deletions

14
roles/home-gui/files/gnome-setup.sh
View file

@ -64,7 +64,7 @@ set_gnome_extensions () {
fi fi
for ext in $dashtodock appindicatorsupport@rgcjonas.gmail.com for ext in $dashtodock appindicatorsupport@rgcjonas.gmail.com
do do
$gnomeextcmd enable -q $ext $gnomeextcmd disable -q $ext
done done
} }
set_gnome_extensions set_gnome_extensions
@ -82,7 +82,7 @@ set_dash_to_dock_preferences () {
gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-customize-running-dots true gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-customize-running-dots true
gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-border-color '#ffffff' gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-border-color '#ffffff'
gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color '#ffffff' gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color '#ffffff'
gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-shrink true gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-shrink false
gsettings set org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 32 gsettings set org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 32
gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed true gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed true
gsettings set org.gnome.shell.extensions.dash-to-dock dock-position 'BOTTOM' gsettings set org.gnome.shell.extensions.dash-to-dock dock-position 'BOTTOM'
@ -101,7 +101,7 @@ set_dash_to_dock_preferences () {
fi fi
} }
set_dash_to_dock_preferences #set_dash_to_dock_preferences
set_misc_preferences () { set_misc_preferences () {
# Disable alert sounds. # Disable alert sounds.
@ -116,14 +116,14 @@ set_misc_preferences () {
gsettings set org.gnome.desktop.interface show-battery-percentage true gsettings set org.gnome.desktop.interface show-battery-percentage true
gsettings set org.gnome.desktop.calendar show-weekdate true gsettings set org.gnome.desktop.calendar show-weekdate true
# Add minimise and maximise buttons to the window title bars. # Remove minimise and maximise buttons from the window title bars.
gsettings set org.gnome.desktop.wm.preferences button-layout 'appmenu:minimize,maximize,close' gsettings set org.gnome.desktop.wm.preferences button-layout 'appmenu:close'
# Stop dialogue boxes from 'sticking' to their parent windows. # Stop dialogue boxes from 'sticking' to their parent windows.
gsettings set org.gnome.mutter attach-modal-dialogs false gsettings set org.gnome.mutter attach-modal-dialogs false
# Disable hot-corners. # Enable hot-corners.
gsettings set org.gnome.desktop.interface enable-hot-corners false gsettings set org.gnome.desktop.interface enable-hot-corners true
# Set a background colour for when a wallpaper is not available. # Set a background colour for when a wallpaper is not available.
gsettings set org.gnome.desktop.background primary-color '#023c88' gsettings set org.gnome.desktop.background primary-color '#023c88'