Tag Info

Hot answers tagged

2

Open up the hidden file named .gtkrc-2.0 in your home directory with any text editor you want. If the file doesn’t exist, create it. If you want to change the background color of the menu window add something like this: style "darkback" { bg[NORMAL] = "#404040" bg[ACTIVE] = "#606060" bg[PRELIGHT] = "#808080" } widget "whiskermenu-window*" ...


1

TL;DR The way is a little bit tricky: You can reload and so influence the order the extensions. Use this command and replace <Extension_UUID> with the UUID of the extension, don't use the ID: gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method <Extension_UUID> But I have found that sometimes the extension must ...



Only top voted, non community-wiki answers of a minimum length are eligible