diff options
Diffstat (limited to 'gnome-extra/gnome-shell-extensions/files')
3 files changed, 0 insertions, 127 deletions
diff --git a/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-auto-move-windows-removed-crash.patch b/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-auto-move-windows-removed-crash.patch deleted file mode 100644 index 20afc2121d86..000000000000 --- a/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-auto-move-windows-removed-crash.patch +++ /dev/null @@ -1,42 +0,0 @@ -From f77bf60bcba745e1615a0644fda12ac47aa1ee41 Mon Sep 17 00:00:00 2001 -From: Giovanni Campagna <gcampagna@src.gnome.org> -Date: Sun, 29 Apr 2012 21:11:00 +0200 -Subject: [PATCH] auto-move-windows/prefs: filter out apps that don't exist - -Recognize if the desktop file no longer exists and remove its -entry in GSettings, instead of crashing because of a null GAppInfo. ---- - extensions/auto-move-windows/prefs.js | 7 +++++++ - 1 files changed, 7 insertions(+), 0 deletions(-) - -diff --git a/extensions/auto-move-windows/prefs.js b/extensions/auto-move-windows/prefs.js -index 6f525f3..9662993 100644 ---- a/extensions/auto-move-windows/prefs.js -+++ b/extensions/auto-move-windows/prefs.js -@@ -183,9 +183,13 @@ const Widget = new GObject.Class({ - this._store.clear(); - - let currentItems = this._settings.get_strv(SETTINGS_KEY); -+ let validItems = [ ]; - for (let i = 0; i < currentItems.length; i++) { - let [id, index] = currentItems[i].split(':'); - let appInfo = Gio.DesktopAppInfo.new(id); -+ if (!appInfo) -+ continue; -+ validItems.push(currentItems[i]); - - let iter = this._store.append(); - let adj = new Gtk.Adjustment({ lower: 1, -@@ -196,6 +200,9 @@ const Widget = new GObject.Class({ - [Columns.APPINFO, Columns.ICON, Columns.DISPLAY_NAME, Columns.WORKSPACE, Columns.ADJUSTMENT], - [appInfo, appInfo.get_icon(), appInfo.get_display_name(), parseInt(index), adj]); - } -+ -+ if (validItems.length != currentItems.length) // some items were filtered out -+ this._settings.set_strv(SETTINGS_KEY, validItems); - }, - - _appendItem: function(id, workspace) { --- -1.7.8.6 - diff --git a/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-places-menu-align.patch b/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-places-menu-align.patch deleted file mode 100644 index 83a043712112..000000000000 --- a/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-places-menu-align.patch +++ /dev/null @@ -1,49 +0,0 @@ -From 5ca9f35a955b9c7cd6bd0479d40cb8b4aabef2c8 Mon Sep 17 00:00:00 2001 -From: Giovanni Campagna <gcampagna@src.gnome.org> -Date: Sat, 14 Apr 2012 00:41:12 +0200 -Subject: [PATCH] places-menu: fix allocation of the icon - -Because the popup-menu min-width imposed by the theme was bigger -than the natural size of the menu, and because core shell code -cannot deal with that, the icon was not right aligned unless -"Removable devices" was showing. -Hack around that by setting span: -1, which pushes it to end of -the menu item. ---- - extensions/places-menu/extension.js | 6 +++--- - 1 files changed, 3 insertions(+), 3 deletions(-) - -diff --git a/extensions/places-menu/extension.js b/extensions/places-menu/extension.js -index 418d249..dcb724a 100644 ---- a/extensions/places-menu/extension.js -+++ b/extensions/places-menu/extension.js -@@ -65,7 +65,7 @@ const PlacesMenu = new Lang.Class({ - for (let placeid = 0; placeid < this.defaultPlaces.length; placeid++) { - this.defaultItems[placeid] = new PopupMenu.PopupMenuItem(this.defaultPlaces[placeid].name); - let icon = this.defaultPlaces[placeid].iconFactory(PLACE_ICON_SIZE); -- this.defaultItems[placeid].addActor(icon, { align: St.Align.END }); -+ this.defaultItems[placeid].addActor(icon, { align: St.Align.END, span: -1 }); - this.defaultItems[placeid].place = this.defaultPlaces[placeid]; - this.menu.addMenuItem(this.defaultItems[placeid]); - this.defaultItems[placeid].connect('activate', function(actor,event) { -@@ -81,7 +81,7 @@ const PlacesMenu = new Lang.Class({ - for (let bookmarkid = 0; bookmarkid < this.bookmarks.length; bookmarkid++) { - this.bookmarkItems[bookmarkid] = new PopupMenu.PopupMenuItem(this.bookmarks[bookmarkid].name); - let icon = this.bookmarks[bookmarkid].iconFactory(PLACE_ICON_SIZE); -- this.bookmarkItems[bookmarkid].addActor(icon, { align: St.Align.END }); -+ this.bookmarkItems[bookmarkid].addActor(icon, { align: St.Align.END, span: -1 }); - this.bookmarkItems[bookmarkid].place = this.bookmarks[bookmarkid]; - this._bookmarksSection.addMenuItem(this.bookmarkItems[bookmarkid]); - this.bookmarkItems[bookmarkid].connect('activate', function(actor,event) { -@@ -96,7 +96,7 @@ const PlacesMenu = new Lang.Class({ - for (let devid = 0; devid < this.devices.length; devid++) { - this.deviceItems[devid] = new PopupMenu.PopupMenuItem(this.devices[devid].name); - let icon = this.devices[devid].iconFactory(PLACE_ICON_SIZE); -- this.deviceItems[devid].addActor(icon, { align: St.Align.END }); -+ this.deviceItems[devid].addActor(icon, { align: St.Align.END, span: -1 }); - this.deviceItems[devid].place = this.devices[devid]; - this._devicesMenuItem.menu.addMenuItem(this.deviceItems[devid]); - this.deviceItems[devid].connect('activate', function(actor,event) { --- -1.7.8.6 - diff --git a/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-windowsNavigator-tooltip-crash.patch b/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-windowsNavigator-tooltip-crash.patch deleted file mode 100644 index b9de71d44165..000000000000 --- a/gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-windowsNavigator-tooltip-crash.patch +++ /dev/null @@ -1,36 +0,0 @@ -From e1c1fc73e222ba92e9f9b6d6d75109ca793be0ea Mon Sep 17 00:00:00 2001 -From: Giovanni Campagna <gcampagna@src.gnome.org> -Date: Thu, 26 Apr 2012 22:50:11 +0200 -Subject: [PATCH] windowsNavigator: only access tooltip if it's known to exist - -Apparently, windowOverlay._text can be null sometimes. In that -case, do nothing instead of crashing. ---- - extensions/windowsNavigator/extension.js | 4 ++-- - 1 files changed, 2 insertions(+), 2 deletions(-) - -diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js -index 3ec4abf..35188e3 100644 ---- a/extensions/windowsNavigator/extension.js -+++ b/extensions/windowsNavigator/extension.js -@@ -34,7 +34,7 @@ function enable() { - resetState(); - - Workspace.WindowOverlay.prototype.setId = function(id) { -- if (this._text.visible && id == null) -+ if (this._text && this._text.visible && id == null) - this._text.hide(); - this._id = id; - if (id != null) -@@ -57,7 +57,7 @@ function enable() { - winInjections['showTooltip'] = undefined; - - Workspace.WindowOverlay.prototype.hideTooltip = function() { -- if (this._text.visible) -+ if (this._text && this._text.visible) - this._text.hide(); - } - winInjections['hideTooltip'] = undefined; --- -1.7.8.6 - |