diff options
| -rw-r--r-- | debian/patches/progress-linux/0001-default-enabled.patch | 17 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 18 insertions, 0 deletions
diff --git a/debian/patches/progress-linux/0001-default-enabled.patch b/debian/patches/progress-linux/0001-default-enabled.patch new file mode 100644 index 0000000..18dc95c --- /dev/null +++ b/debian/patches/progress-linux/0001-default-enabled.patch @@ -0,0 +1,17 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Allowing impatience to be enabled system-wide by default. + +diff -Naurp gnome-shell-extension-impatience.orig/impatience/extension.js gnome-shell-extension-impatience/impatience/extension.js +--- gnome-shell-extension-impatience.orig/impatience/extension.js ++++ gnome-shell-extension-impatience/impatience/extension.js +@@ -44,10 +44,6 @@ Ext.prototype.disable = function() { + }; + + Ext.prototype.set_speed = function(new_speed) { +- if(!this.enabled) { +- LOG("NOT setting new speed, since the extension is disabled."); +- return; +- } + if(new_speed !== undefined) { + this.modified_speed = new_speed; + } diff --git a/debian/patches/series b/debian/patches/series index 76a5fe8..23b00d3 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ metadata-Add-support-for-GNOME-Shell-43.patch +progress-linux/0001-default-enabled.patch |