[gnome-shell] windowMenu: Use CHECK ornament rather than DOT

[Florian Müllner <fmuellner src gnome org>]

commit fc45cf03bf07e67c04c33cce2a3adca0e88d4917
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Jul 30 15:54:16 2015 +0200

    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 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index 001047a..7aa4591 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);