- commit
- 210ba0fc89026c945438dc24169a828d78cea417
- parent
- 121cabec2e919bcbdb578a055e8cfc52aeabb99f
- Author
- Tobias Bengfort <tobias.bengfort@posteo.de>
- Date
- 2022-12-30 09:38
work around squishy headerbars
Diffstat
| M | gtk-3.0/widgets/headerbar.css | 3 | +++ |
1 files changed, 3 insertions, 0 deletions
diff --git a/gtk-3.0/widgets/headerbar.css b/gtk-3.0/widgets/headerbar.css
@@ -4,6 +4,9 @@ headerbar {
4 4 padding: 0.5em;
5 5 border-bottom-width: 1px;
6 6 box-shadow: 0 0 0.2em @border_color;
-1 7
-1 8 /* HACK for squishy headerbars */
-1 9 min-height: 2.4em;
7 10 }
8 11
9 12 searchbar {