Added method to check if topIcons is installed
This commit is contained in:
parent
8ed9efa289
commit
2c16b2ca0b
@ -198,6 +198,21 @@ class Extension {
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* topIcons will convert ALL icons to be at the top of the screen, so there is no reason to have both installed
|
||||||
|
*
|
||||||
|
* @return true if that extension is installed
|
||||||
|
*/
|
||||||
|
public static
|
||||||
|
boolean isTopIconsInstalled() {
|
||||||
|
List<String> enabledExtensions = getEnabledExtensions();
|
||||||
|
return enabledExtensions.contains("topIcons@adel.gadllah@gmail.com");
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Only install a version that specifically moves only our icon next to the clock
|
||||||
|
*/
|
||||||
public static
|
public static
|
||||||
void install() {
|
void install() {
|
||||||
if (!ENABLE_EXTENSION_INSTALL || !OS.isGnome()) {
|
if (!ENABLE_EXTENSION_INSTALL || !OS.isGnome()) {
|
||||||
@ -222,7 +237,6 @@ class Extension {
|
|||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
// always install the extension, because it might have been updated
|
|
||||||
// set a property so that GTK (if necessary) can set the name
|
// set a property so that GTK (if necessary) can set the name
|
||||||
System.setProperty("SystemTray_GTK_SET_NAME", "true");
|
System.setProperty("SystemTray_GTK_SET_NAME", "true");
|
||||||
|
|
||||||
@ -258,7 +272,7 @@ class Extension {
|
|||||||
"}\n";
|
"}\n";
|
||||||
|
|
||||||
|
|
||||||
logger.debug("Installing gnome-shell extension");
|
logger.debug("Checking the gnome-shell extension");
|
||||||
|
|
||||||
if (hasSystemTray) {
|
if (hasSystemTray) {
|
||||||
if (SystemTray.DEBUG) {
|
if (SystemTray.DEBUG) {
|
||||||
@ -303,6 +317,8 @@ class Extension {
|
|||||||
|
|
||||||
|
|
||||||
// we get here if we are NOT installed, or if we are installed and our metadata is NOT THE SAME. (so we need to reinstall)
|
// we get here if we are NOT installed, or if we are installed and our metadata is NOT THE SAME. (so we need to reinstall)
|
||||||
|
logger.debug("Installing gnome-shell extension");
|
||||||
|
|
||||||
|
|
||||||
// need to make the extension location
|
// need to make the extension location
|
||||||
if (!file.isDirectory()) {
|
if (!file.isDirectory()) {
|
||||||
|
Loading…
Reference in New Issue
Block a user