Daniel Ruiz de Alegría
|
3b5b128c0b
|
Gnome-Shell: update checkbox theme tweaks
|
2022-04-15 18:00:33 +02:00 |
|
Daniel Ruiz de Alegría
|
309a674687
|
Gnome-Shell: code cleanup
|
2022-04-15 18:00:33 +02:00 |
|
Daniel Ruiz de Alegría
|
7e368dd4d5
|
Gnome-Shell: update calendar theme tweaks
|
2022-04-15 18:00:33 +02:00 |
|
Daniel Ruiz de Alegría
|
55f1e71782
|
Gnome-Shell: remove slider barlevel border
|
2022-04-15 18:00:33 +02:00 |
|
Daniel Ruiz de Alegría
|
58cfa4b066
|
Gnome-Shell: update keyboard theme tweaks
|
2022-04-15 18:00:32 +02:00 |
|
Daniel Ruiz de Alegría
|
04bb75e6c0
|
Gnome-Shell: set recording indicator text color to white
|
2022-04-15 18:00:32 +02:00 |
|
Daniel Ruiz de Alegría
|
080a8be821
|
Gnome-Shell: update dash theme tweaks
|
2022-04-15 18:00:32 +02:00 |
|
Daniel Ruiz de Alegría
|
dcf4b45768
|
Gnome-Shell: update app-grid theme tweaks
|
2022-04-15 18:00:32 +02:00 |
|
Daniel Ruiz de Alegría
|
52dda0cd78
|
Gnome-Shell: update panel theme tweaks
|
2022-04-15 18:00:32 +02:00 |
|
Daniel Ruiz de Alegría
|
dbd71be448
|
Gnome-Shell: remove workspaces-switcher theme tweaks
|
2022-04-15 18:00:31 +02:00 |
|
Daniel Ruiz de Alegría
|
bffccb82cc
|
Gnome-Shell: update slider theme tweaks
|
2022-04-15 18:00:31 +02:00 |
|
Daniel Ruiz de Alegría
|
585d1f079a
|
Gnome-Shell: remove border to search results
|
2022-04-15 18:00:31 +02:00 |
|
Daniel Ruiz de Alegría
|
eb8d00f902
|
Gnome-Shell: update theme tweaks for search-entry, search-results, and window-picker
|
2022-04-15 18:00:31 +02:00 |
|
Daniel Ruiz de Alegría
|
886215c7cd
|
Gnome-Shell: reduce font size
|
2022-04-15 18:00:31 +02:00 |
|
Daniel Ruiz de Alegría
|
6463c6ddb0
|
Gnome-Shell: update upstream code to gnome 42
|
2022-04-15 18:00:30 +02:00 |
|
Daniel Ruiz de Alegría
|
e042a6facb
|
Gnome-Shell: improve background for hovered items in calendar popover
|
2021-12-02 08:33:00 +01:00 |
|
Daniel Ruiz de Alegría
|
0d22bf8fb6
|
Gnome-Shell: Make some widgets in the calendar popup more flat
|
2021-11-10 09:53:38 +01:00 |
|
Daniel Ruiz de Alegría
|
92dc28a196
|
Gnome-Shell: remove dash-to-dock padding
|
2021-11-04 10:07:26 +01:00 |
|
Daniel Ruiz de Alegría
|
0fdf569b65
|
Gnome-Shell: shrink dash and add padding
|
2021-10-29 11:30:22 +02:00 |
|
Daniel Ruiz de Alegría
|
edb6efc305
|
Gnome-Shell: Make folder shadow a bit lighter to improve contrast
|
2021-10-28 10:46:25 +02:00 |
|
Daniel Ruiz de Alegría
|
d6fb8b7607
|
Gnome-Shell: Update for GNOME 41
|
2021-09-23 09:25:09 +02:00 |
|
Daniel Ruiz de Alegría
|
dcbb4e6e4b
|
Gnome-Shell: Update for GNOME 40
|
2021-09-20 11:09:53 +02:00 |
|
Daniel Ruiz de Alegría
|
a6c86741b1
|
Reorganize scss source files
|
2021-04-19 10:35:14 +02:00 |
|