An option to launch settings from the extension

rodakorn / randwall

Gnome shell extension "Random Walls" for gnome 3

GNU General Public License v2.0

45 stars 14 forks source link

An option to launch settings from the extension #18

Open alex285 opened 8 years ago

alex285 commented 8 years ago

Can be a right click or a button on the extension indicator, that will launch the extension option window? It is a bit annoying to have to open Tweak Tool.