Hi all,
I have a user who has reported that one of my extensions (along with
one other) work fine, but will crash the prefs widget on GNOME 3.4.2.
Symptoms:
- extension seems to work fine
- go to terminal, type gnome-shell-extension-prefs
- the prefs widget opens fine.
- selecting other extension
Hello,
I noticed the Gnome Shell Extension Preferences tool expands vertically
when the extension's preferences widget is displayed. I tested the tool
at lower resolutions and smaller screens and found sometimes the
expansion prevents access to some settings. I modified my extension
that suffers
