From d9b3a28a579ba1969e6fa3cb83d487f7742e6765 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 30 Jul 2015 17:25:59 +0200 Subject: [PATCH 1/2] theme: Make menu ornament slightly wider The existing width works well enough for a narrow character like the dot, but doesn't leave any whitespace for a wider one like the checkmark. https://bugzilla.gnome.org/show_bug.cgi?id=741366 --- data/theme/gnome-shell.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css index 80dff57..97634b1 100644 --- a/data/theme/gnome-shell.css +++ b/data/theme/gnome-shell.css @@ -140,7 +140,7 @@ StScrollBar StButton#vhandle:active { .popup-menu-ornament { text-align: right; - width: 1em; + width: 1.2em; } .popup-menu-boxpointer, -- 2.4.3 From 1e5fc64944e9259782d060032e48bb7e6aaaabd3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 30 Jul 2015 15:54:16 +0200 Subject: [PATCH 2/2] windowMenu: Use CHECK ornament rather than DOT The dot suggests a radio action, while the items are actually toggles; in the app menu we use checkmarks in that case, so do the same here. --- js/ui/windowMenu.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js index 3d378fa..43f6125 100644 --- a/js/ui/windowMenu.js +++ b/js/ui/windowMenu.js @@ -74,7 +74,7 @@ const WindowMenu = new Lang.Class({ window.make_above(); })); if (window.is_above()) - item.setOrnament(PopupMenu.Ornament.DOT); + item.setOrnament(PopupMenu.Ornament.CHECK); if (window.get_maximized() == Meta.MaximizeFlags.BOTH || type == Meta.WindowType.DOCK || type == Meta.WindowType.DESKTOP || @@ -93,7 +93,7 @@ const WindowMenu = new Lang.Class({ window.stick(); })); if (isSticky) - item.setOrnament(PopupMenu.Ornament.DOT); + item.setOrnament(PopupMenu.Ornament.CHECK); if (window.is_always_on_all_workspaces()) item.setSensitive(false); -- 2.4.3