Skip to content

Instantly share code, notes, and snippets.

View waimus's full-sized avatar

waimus waimus

4 followers · 2 following
View GitHub Profile
@waimus
waimus / stylesheet.css
Last active April 4, 2021 12:06
Dash-to-Dock custom stylesheet. Featuring grey inner line and black outer line, like MacOS window edge style. And round every corner.
/* 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;
@waimus
waimus / userChrome.css
Last active February 9, 2021 23:56
waimus' Firefox CSS basic customization. Uses additional CSS file linked in the file.
/*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:
@waimus
waimus / dock-panel-toggle.sh
Created January 15, 2021 16:55
Toggle dash-to-dock extend panel height settings when run. Attach this script to a keyboard shortcut via GNOME settings for handy use. This script uses dconf.
# 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