Codebase list gnome-shell-extensions / 1f56ac4 debian / patches / menu-arrows-icons.patch
1f56ac4

Tree @1f56ac4 (Download .tar.gz)

menu-arrows-icons.patch @1f56ac4raw · history · blame

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();