- commit
- 27017bb2c37f6d687310809838b3cf371bc8da1b
- parent
- 5131b51738518bcda50412f40f1c4e75c8cc2482
- Author
- Tobias Bengfort <tobias.bengfort@posteo.de>
- Date
- 2025-11-06 21:10
mv gtk3-specific code to separate file
Diffstat
| M | gtk-3.0/gtk3.css | 18 | +++++++++++++++++- |
| M | gtk-4.0/gtk4.css | 8 | ++++++++ |
| M | shared/shared.css | 7 | ------- |
| M | shared/widgets/scrollbar.css | 9 | --------- |
4 files changed, 25 insertions, 17 deletions
diff --git a/gtk-3.0/gtk3.css b/gtk-3.0/gtk3.css
@@ -1 +1,17 @@1 -1 /* nothing to do */-1 1 * { -1 2 -GtkTreeView-expander-size: 11; -1 3 -GtkScrolledWindow-scrollbar-spacing: 0; -1 4 } -1 5 -1 6 *:hover, *:focus { -1 7 -gtk-icon-effect: highlight; -1 8 } -1 9 -1 10 *:disabled:disabled { -1 11 -gtk-icon-effect: dim; -1 12 } -1 13 -1 14 scrollbar { -1 15 -GtkScrollbar-has-backward-stepper: false; -1 16 -GtkScrollbar-has-forward-stepper: false; -1 17 }
diff --git a/gtk-4.0/gtk4.css b/gtk-4.0/gtk4.css
@@ -1,3 +1,11 @@
-1 1 *:hover, *:focus {
-1 2 -gtk-icon-filter: brightness(1.2);
-1 3 }
-1 4
-1 5 *:disabled:disabled {
-1 6 -gtk-icon-filter: opacity(0.5);
-1 7 }
-1 8
1 9 popover.background {
2 10 background-color: transparent;
3 11 border: 0;
diff --git a/shared/shared.css b/shared/shared.css
@@ -1,12 +1,6 @@ 1 1 * { 2 2 border-color: @border_color; 3 3 border-style: solid;4 -15 -1 -GtkTreeView-expander-size: 11;6 -1 }7 -18 -1 *:hover, *:focus {9 -1 -gtk-icon-effect: highlight;10 4 } 11 5 12 6 selection, @@ -18,7 +12,6 @@ selection, 18 12 /* !important seems to be broken, so I use this hack to push specificity */ 19 13 *:disabled:disabled { 20 14 color: mix(@fg_color, @bg_color, 0.4);21 -1 -gtk-icon-effect: dim;22 15 } 23 16 .background { 24 17 background: @bg_color;
diff --git a/shared/widgets/scrollbar.css b/shared/widgets/scrollbar.css
@@ -1,16 +1,7 @@1 -1 * {2 -1 -GtkScrolledWindow-scrollbar-spacing: 0;3 -1 }4 -15 1 scrolledwindow.frame { 6 2 border-width: 1px; 7 3 } 8 49 -1 scrollbar {10 -1 -GtkScrollbar-has-backward-stepper: false;11 -1 -GtkScrollbar-has-forward-stepper: false;12 -1 }13 -114 5 scrollbar slider { 15 6 background-color: mix(@bg_color, @fg_color, 0.25); 16 7 min-width: 7px;