gnome-shell-extensions

Files

Jakub Steiner 2935848954 window-list button colors

- not sure I win the override game

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

2015-10-26 15:34:52 +01:00

2014-12-19 16:13:29 +01:00

2015-10-15 22:33:00 +02:00

auto-move: Tweak prefs UI

2014-05-28 01:14:42 +02:00

2015-03-10 19:56:41 +01:00

example: Tweak prefs UI

2014-05-28 01:27:37 +02:00

2015-03-02 21:05:43 +01:00

2015-03-17 19:46:05 +01:00

2015-09-04 17:50:06 +02:00

2015-03-17 19:46:05 +01:00

2014-11-27 14:49:43 +00:00

window-list button colors

2015-10-26 15:34:52 +01:00

2013-09-03 10:36:31 +02:00

2015-07-31 16:47:18 +02:00

Makefile.am

2011-04-26 01:21:53 +02:00