gnome-shell/data/theme/panel-button-border.svg
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

75 lines
2.0 KiB
XML