From fc45cf03bf07e67c04c33cce2a3adca0e88d4917 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] 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 001047afe..7aa45919b 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);