search

neuromorph / glass_grid

A Gnome Shell extension showing an overlay glass panel to manage installed extensions.
GNU General Public License v3.0
2 stars 0 forks source link

[Feature request] Extension preferences menu #2

Closed FelixFourcolor closed 10 months ago

FelixFourcolor commented 10 months ago

Hypothetically, if I disable both the panel indicator and the hotkey shortcut, how can I relaunch the extension?

Should there be a preference menu launchable from extension-manager as a backup way to change the settings, to avoid this situation? Or am I missing something?

Actually it's not hypothetical. I did try to disable them to see what will happen so that I could open this issue, and now I'm stuck. Please advise :joy:

neuromorph commented 10 months ago

Lol :smile: , with power comes responsibility! The extension doesn't have preferences UI as it is handled through the extension main window.

In this case, you can use dconf to set the settings for hotkey or indicator. In dconf, path is /org/gnome/shell/extensions/extgrid/ and the settings are 'hotkey' and 'show-indicator'.

Good catch, anyway. I will add a check to prevent disabling both options in a future update.

Please feel free to provide any other feedback you may have.

Thank you!

FelixFourcolor commented 10 months ago

It works. Thank you.

neuromorph commented 10 months ago

Added a check and notification for this scenario as well in the update from the scaling issue. You can test this as well.

FelixFourcolor commented 10 months ago

I confirm it works.

neuromorph commented 10 months ago

Great, thanks for checking!