gnome-shell

Files

Jakub Steiner 25ee41f344 theme: use a smaller border-radius for top bar

- plays better with window decorations and maximized windows
- https://bugzilla.gnome.org/show_bug.cgi?id=672430

2012-05-07 10:36:28 +02:00

2012-02-21 23:00:53 +01:00

2011-09-20 14:56:25 -04:00

2012-05-07 10:36:28 +02:00

2012-02-22 18:50:36 -05:00

gnome-shell-overrides.convert

2012-01-10 19:40:01 +01:00

gnome-shell.desktop.in.in

2012-03-18 02:35:14 +01:00

Makefile.am

2012-04-26 08:40:01 +02:00

2012-04-25 14:39:02 -04:00

org.gnome.shell.gschema.xml.in

2012-04-24 17:37:44 +02:00

org.gnome.ShellSearchProvider.xml

2012-02-21 23:00:53 +01:00