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

..

calendar-arrow-left.svg

…

calendar-arrow-right.svg

…

calendar-today.svg

…

checkbox-focused.svg

theme: Adjust checkbox style

2012-02-17 18:37:27 +01:00

checkbox-off-focused.svg

theme: Adjust checkbox style

2012-02-17 18:37:27 +01:00

checkbox-off.svg

theme: Adjust checkbox style

2012-02-17 18:37:27 +01:00

checkbox.svg

theme: Adjust checkbox style

2012-02-17 18:37:27 +01:00

close-window.svg

…

close.svg

…

corner-ripple-ltr.png

…

corner-ripple-rtl.png

…

dash-placeholder.svg

…

filter-selected-ltr.svg

…

filter-selected-rtl.svg

…

gdm.css

gdm: don't clear bullets while authenticating

2011-10-17 17:37:06 -04:00

gnome-shell.css

theme: use a smaller border-radius for top bar

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

panel-button-border.svg

theme: use a smaller border-radius for top bar

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

panel-button-highlight-narrow.svg

…

panel-button-highlight-wide.svg

…

process-working.svg

…

running-indicator.svg

…

scroll-hhandle.svg

…

scroll-vhandle.svg

…

source-button-border.svg

…

toggle-off-intl.svg

svg: Make the OFF toggle widgets be the same width as the ON ones

2012-03-30 13:36:23 +02:00

toggle-off-us.svg

svg: Make the OFF toggle widgets be the same width as the ON ones

2012-03-30 13:36:23 +02:00

toggle-on-intl.svg

…

toggle-on-us.svg

…

ws-switch-arrow-down.svg

…

ws-switch-arrow-up.svg

…