Package: gnome-shell-extensions / 3.14.2-1

menu-arrows-icons.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
Index: gnome-shell-extensions-3.14.2/extensions/apps-menu/extension.js
===================================================================
--- gnome-shell-extensions-3.14.2.orig/extensions/apps-menu/extension.js	2014-10-07 13:54:01.000000000 +0200
+++ gnome-shell-extensions-3.14.2/extensions/apps-menu/extension.js	2014-11-30 15:59:57.300620972 +0100
@@ -283,9 +283,7 @@ const ApplicationsButton = new Lang.Clas
                                      y_expand: true,
                                      y_align: Clutter.ActorAlign.CENTER });
         hbox.add_child(this._label);
-        hbox.add_child(new St.Label({ text: '\u25BE',
-                                      y_expand: true,
-                                      y_align: Clutter.ActorAlign.CENTER }));
+        hbox.add_child(PopupMenu.arrowIcon(St.Side.BOTTOM));
 
         this.actor.add_actor(hbox);
         this.actor.name = 'panelApplications';
Index: gnome-shell-extensions-3.14.2/extensions/drive-menu/extension.js
===================================================================
--- gnome-shell-extensions-3.14.2.orig/extensions/drive-menu/extension.js	2014-11-30 15:59:14.629264311 +0100
+++ gnome-shell-extensions-3.14.2/extensions/drive-menu/extension.js	2014-11-30 15:59:32.344997226 +0100
@@ -128,9 +128,7 @@ const DriveMenu = new Lang.Class({
                                  style_class: 'system-status-icon' });
 
         hbox.add_child(icon);
-        hbox.add_child(new St.Label({ text: '\u25BE',
-                                      y_expand: true,
-                                      y_align: Clutter.ActorAlign.CENTER }));
+        hbox.add_child(PopupMenu.arrowIcon(St.Side.BOTTOM));
         this.actor.add_child(hbox);
 
 	this._monitor = Gio.VolumeMonitor.get();
Index: gnome-shell-extensions-3.14.2/extensions/places-menu/extension.js
===================================================================
--- gnome-shell-extensions-3.14.2.orig/extensions/places-menu/extension.js	2014-10-07 13:54:01.000000000 +0200
+++ gnome-shell-extensions-3.14.2/extensions/places-menu/extension.js	2014-11-30 15:57:44.382624700 +0100
@@ -82,9 +82,7 @@ const PlacesMenu = new Lang.Class({
                                    y_expand: true,
                                    y_align: Clutter.ActorAlign.CENTER });
         hbox.add_child(label);
-        hbox.add_child(new St.Label({ text: '\u25BE',
-                                      y_expand: true,
-                                      y_align: Clutter.ActorAlign.CENTER }));
+        hbox.add_child(PopupMenu.arrowIcon(St.Side.BOTTOM));
         this.actor.add_actor(hbox);
 
         this.placesManager = new PlaceDisplay.PlacesManager();