1
0
mirror of https://github.com/horst3180/arc-theme.git synced 2024-10-27 19:04:02 +00:00
Commit Graph

21 Commits

Author SHA1 Message Date
Horst3180
06b0911009 don't use selected_fg_color in weird places 2016-08-31 00:00:33 +02:00
Dela Anthonio
2668df1a3d Fix slider for gnome-shell
The handle radius was preventing the slider from reaching either extreme.
This commit fixes issue #399.
2016-08-10 19:13:32 -04:00
Horst3180
1de4ef7977 gnome-shell: remove menu separator margins 2016-06-03 23:55:56 +02:00
Horst3180
ca76d0e2e5 use accent color for menu highlight (fix #135) 2016-05-29 19:22:18 +02:00
Horst3180
d62246cdc8 gnome-shell: fix volume mixer extension width (fix #486) 2016-05-16 21:48:16 +02:00
Horst3180
a27b3333ad gnome-shell: add support for the multi-monitors-add-on extension (fix #464) 2016-05-16 20:19:47 +02:00
Horst3180
1c27afbd4b Revert "remove outdated dash-to-dock styling"
This reverts commit 8514157d77.
2016-03-31 22:07:41 +02:00
Horst3180
9781e357df gnome-shell: make aggregate-menu a little wider (fix #447) 2016-03-31 19:06:58 +02:00
Horst3180
f7a1c002e1 gnome-shell: make aggregate-menu wider (#447) 2016-03-31 15:14:43 +02:00
Horst3180
7e7fd197b6 gnome-shell: fix entries 2016-03-30 20:30:06 +02:00
Horst3180
8eaefcf4d9 more fixes 2016-03-23 21:46:35 +01:00
Horst3180
4a6f74a8f7 more gnome-shell tweaks 2016-03-23 15:36:18 +01:00
Horst3180
aa363fd608 update gnome-shell theme 2016-03-23 15:07:41 +01:00
Horst3180
d3c057375a gnome-shell: don't use border-images for the dash (#329) 2016-01-31 00:40:07 +01:00
Horst3180
8514157d77 remove outdated dash-to-dock styling 2015-11-15 19:07:20 +01:00
Horst3180
571d1297bb gnome-shell: fix classic mode panel for 3.16 and 3.18 2015-11-02 21:18:42 +01:00
Horst3180
dee39f4419 some tweaks for gnome-shell 3.18 2015-09-22 00:38:56 +02:00
Horst3180
1e5ac00964 gnome-shell: revert overview changes 2015-09-15 22:28:53 +02:00
Horst3180
cdfe796e65 gnome-shell: bring back transparent overview 2015-09-15 18:31:26 +02:00
Horst3180
a9ec7e8c22 cleanup 2015-09-15 13:20:36 +02:00
Horst3180
38a1e46559 gnome-shell: update to 3.18 2015-09-12 18:36:34 +02:00