GNOME Bugzilla – Bug 730843
Tweak extension prefs a bit
Last modified: 2014-05-28 20:46:16 UTC
Since we ship those in an official GNOME module, try to not make them look too terrible. Not sure about the example patch, however the others should at least improve what we have now.
Created attachment 277324 [details] [review] alternate-tab: Tweak pref widget a bit Adjust spacing to use more standard values and tweak alignments to make the structure a bit more clear.
Created attachment 277325 [details] [review] workspace-indicator: Tweak prefs UI - make tree view scrollable when list grows large - add some borders - use symbolic icons instead of (deprecated) stock items - adjust spacing/alignment - disable remove button when no item is selected
Created attachment 277326 [details] [review] auto-move: Tweak prefs UI - make tree view scrollable when list grows large - add some borders - use symbolic icons instead of (deprecated) stock items - adjust spacing/alignment - disable remove button when no item is selected
Created attachment 277327 [details] [review] example: Tweak prefs UI Position the explanatory text below the actual option and tweak whitespace a bit.
Those tweaks should be fairly non-controversial, so pushing them. Attachment 277324 [details] pushed as f4625f7 - alternate-tab: Tweak pref widget a bit Attachment 277325 [details] pushed as de7fbe5 - workspace-indicator: Tweak prefs UI Attachment 277326 [details] pushed as d0110cf - auto-move: Tweak prefs UI
Review of attachment 277327 [details] [review]: Looks good also isn't really any more controversial then the others ;)
Attachment 277327 [details] pushed as 6a9c4e7 - example: Tweak prefs UI