summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'gnome-extra/gnome-shell-extensions/files')
-rw-r--r--gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-auto-move-windows-removed-crash.patch42
-rw-r--r--gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-places-menu-align.patch49
-rw-r--r--gnome-extra/gnome-shell-extensions/files/gnome-shell-extensions-3.4.0-windowsNavigator-tooltip-crash.patch36
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
-