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