This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* Shrink the dash by reducing padding */ | |
#dashtodockContainer.shrink #dash, | |
#dashtodockContainer.dashtodock #dash { | |
border:1px; | |
padding:1px 0px 1px 0px; | |
} | |
#dashtodockContainer.shrink.left #dash, | |
#dashtodockContainer.dashtodock.left #dash { | |
border-left: 0px; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/*https://www.userchrome.org/*/ | |
/*more stuff at https://github.com/MrOtherGuy/firefox-csshacks/tree/master/chrome*/ | |
@import url("./window_control_placeholder_support.css"); /*from: https://github.com/MrOtherGuy/firefox-csshacks/tree/master/chrome/window_control_placeholder_support.css*/ | |
@import url("./tabs_on_bottom.css"); /*from: https://github.com/MrOtherGuy/firefox-csshacks/tree/master/chrome/tabs_on_bottom.css*/ | |
/* | |
Additional modification from external css above help to tweak the look better. | |
i.e: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Retrieving current condition of the panel | |
isExtended=$(dconf read /org/gnome/shell/extensions/dash-to-dock/extend-height) | |
# Invert condition | |
if [ "$isExtended" = true ] ; then | |
dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height false | |
else | |
dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height true | |
fi |
NewerOlder