changeset 2:57aaa990e4f1 gnome-42

Fix multiple restart buttons after locking and unlocking the session
author Brad Greco <brad@bgreco.net>
date Sun, 26 Nov 2023 20:07:17 -0500
parents f0acbcf9fada
children a041e7a70a0f
files extension.js metadata.json
diffstat 2 files changed, 8 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/extension.js	Fri Nov 24 12:23:49 2023 -0500
+++ b/extension.js	Sun Nov 26 20:07:17 2023 -0500
@@ -25,13 +25,17 @@
 const ExtensionUtils = imports.misc.extensionUtils;
 
 class Extension {
+
+	originalUpdateButtons = null;
+
 	constructor() {
 	}
 
 	enable() {
-		let originalUpdateButtons = EndSessionDialog.EndSessionDialog.prototype._updateButtons;
+		this.originalUpdateButtons = EndSessionDialog.EndSessionDialog.prototype._updateButtons;
+		let extension = this;
 		EndSessionDialog.EndSessionDialog.prototype._updateButtons = function() {
-			originalUpdateButtons.call(this);
+			extension.originalUpdateButtons.call(this);
 			if (this._type == 2) {
 				let settings = ExtensionUtils.getSettings();
 				let secondaryEntry = settings.get_string('entry');
@@ -49,6 +53,7 @@
 	}
 
 	disable() {
+		EndSessionDialog.EndSessionDialog.prototype._updateButtons = this.originalUpdateButtons;
 	}
 }
 
--- a/metadata.json	Fri Nov 24 12:23:49 2023 -0500
+++ b/metadata.json	Sun Nov 26 20:07:17 2023 -0500
@@ -4,6 +4,6 @@
   "uuid": "restartinto@bgreco.net",
   "url": "https://hg.bgreco.net/restartinto@bgreco.net",
   "settings-schema": "org.gnome.shell.extensions.net.bgreco.restartinto",
-  "version-name": "42.1.0",
+  "version-name": "42.1.1",
   "shell-version": ["42"]
 }