From eb5315580d184eedf1e37db15a0c101e8d20f099 Mon Sep 17 00:00:00 2001 From: nathan Date: Thu, 22 Sep 2016 22:30:59 +0200 Subject: [PATCH] Gnome shell extension can now be reinstalled based on GNOME/SystemTray versions (if they are different, the extension will re-install) --- src/dorkbox/systemTray/linux/GnomeShellExtension.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/dorkbox/systemTray/linux/GnomeShellExtension.java b/src/dorkbox/systemTray/linux/GnomeShellExtension.java index abda3be..b94ebc0 100644 --- a/src/dorkbox/systemTray/linux/GnomeShellExtension.java +++ b/src/dorkbox/systemTray/linux/GnomeShellExtension.java @@ -101,7 +101,7 @@ class GnomeShellExtension { " ],\n" + " \"url\": \"https://github.com/dorkbox/SystemTray\",\n" + " \"uuid\": \"" + UID + "\",\n" + - " \"version\": 1\n" + + " \"version\": " + SystemTray.getVersion() + "\n" + "}\n"; @@ -136,6 +136,10 @@ class GnomeShellExtension { // if we are DEBUG, then we ALWAYS want to copy over our extension. We will have to manually restart the shell to see it return; } + } else { + // this means that we need to reinstall our extension, since either GNOME or US have changed versions since + // we last installed the extension. + hasSystemTray = false; } }