[gnome-terminal/wip/fmuellner/headerbar: 5/9] headerbar: Add some spacing to primary menu
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal/wip/fmuellner/headerbar: 5/9] headerbar: Add some spacing to primary menu
- Date: Thu, 8 Nov 2018 20:04:38 +0000 (UTC)
commit 6b5e53127fa4f4e828ce2f3328079036eb8e3fdf
Author: Florian Müllner <fmuellner gnome org>
Date: Mon Nov 5 23:24:50 2018 +0100
headerbar: Add some spacing to primary menu
The menu is generated by GTK+, so we don't have much control over
the final appearance, and in particular the width ends up being
determined by the longest string in the menu. Make sure it doesn't
get too cramped by adding some spacing to the zoom icons.
https://bugzilla.gnome.org/show_bug.cgi?id=756798
src/terminal.common.css | 6 ++++++
1 file changed, 6 insertions(+)
---
diff --git a/src/terminal.common.css b/src/terminal.common.css
index 8ec36889..4c577263 100644
--- a/src/terminal.common.css
+++ b/src/terminal.common.css
@@ -8,6 +8,12 @@ terminal-window scrolledwindow overshoot.bottom
background: none;
}
+popover button.model
+{
+ padding-left: 16px;
+ padding-right: 16px;
+}
+
.disclosure-button
{
padding-left: 4px;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]