You Got A Question? Ask    GNOME Community!

gtk-theme2
 12824   |  Oct 25
gtk_logo2
 9655   |  Mar 17
arch
 8334   |  Mar 28
 6927   |  Jun 17

How to set preferences for your extensions!

This post was made with an older stylesheet

There is a GUI tool that allows you to easily set various preferences for your Gnome Shell extension that is not to be found on System or Advanced settings. To launch this tool you will have to type the following command on a terminal:

gnome-shell-extension-prefs

After the tool opens you can then choose the extension that you want to set up. Note that not every extension offers changeble parametres. Here is an example of the popular media player indicator extension:

You can also add this command to Settings Center Extension

Get Settings Extension Here


 
  We can't watch comments unless G+ provides an API or if you send a notification, e.g +World Of Gnome
     Sometimes is better to place your questions on GNOME Community
  • http://www.facebook.com/agharrfauzi.abahagharr Agharr Fauzi Abah Agharr

    not working on gnome 3.5.5

    • alex285

      Yes this extension is for Gnome 3.4 not 3.6

  • Pingback: Gnome Shell focus effect! | woGue