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
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
a27b3333ad gnome-shell: add support for the multi-monitors-add-on extension (fix #464) 2016-05-16 20:19:47 +02:00
Horst3180
583a4f1440 dash: add border 2016-01-31 00:54:50 +01:00
Horst3180
f934f0d8e8 forgot something 2016-01-31 00:50:06 +01:00
Horst3180
d3c057375a gnome-shell: don't use border-images for the dash (#329) 2016-01-31 00:40:07 +01:00
Horst3180
1559de60c8 gnome-shell 3.14: fix classic mode 2015-11-03 00:13:05 +01:00
Horst3180
f264d78ed1 gnome-shell: fix wrong image path 2015-09-21 13:08:13 +02:00
Horst3180
8ea9b69227 gnome-shell 3.14: fix run dialog entry cursor 2015-09-17 00:45:17 +02:00
Horst3180
bcf612534e gnome-shell 3.14: fix menu separators 2015-09-17 00:40:30 +02:00
Horst3180
ca3fa01822 add dark gnome-shell and cinnamon themes 2015-09-16 20:34:40 +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
1d8d918f58 some gnome-shell fixes 2015-09-11 17:47:13 +02:00
Horst3180
4097e62e01 tweak color scheme and window buttons 2015-09-09 23:50:14 +02:00
Horst3180
be56f427f2 rounded search entries 2015-08-26 20:10:02 +02:00
Horst3180
fa43da15f2 make textboxes less rounded 2015-08-26 13:08:42 +02:00
Horst3180
6164a6cd16 gnome-shell: dynamic topbar extension support 2015-08-23 18:58:39 +02:00
Horst3180
74c329df53 some gnome-shell 3.14 fixes 2015-08-14 14:04:05 +02:00
Horst3180
cbbd23ec07 gnome-shell theme improvements and some osd redesign 2015-08-13 01:15:17 +02:00