Rui Matos 6adeed4e60 window-list: Fix preferences radio buttons not reflecting the setting ...

When setting GtkRadioButton's group property, its active property is
also set as a by-product. This means that setting these properties
isn't commutative which arguably is a bug in gtk+ but one that we can
easily work around by just switching the order here.

https://bugzilla.gnome.org/show_bug.cgi?id=697495

2013-04-07 21:00:51 +02:00

..

classic.css

window-list: Add classic mode styling

2013-02-05 20:09:16 +01:00

extension.js

window-list: Set metaWindow for single-window items when grouped

2013-04-04 18:09:46 +02:00

Makefile.am

window-list: Add classic mode styling

2013-02-05 20:09:16 +01:00

metadata.json.in

window-list: New extension

2013-02-05 20:06:53 +01:00

org.gnome.shell.extensions.window-list.gschema.xml.in

window-list: Add option for grouping windows by application

2013-02-05 20:09:00 +01:00

prefs.js

window-list: Fix preferences radio buttons not reflecting the setting

2013-04-07 21:00:51 +02:00

stylesheet.css

window-list: New extension

2013-02-05 20:06:53 +01:00