From 191c1bcb21db23e060bb0ac5152a782588ec37e2 Mon Sep 17 00:00:00 2001 From: Benjamin Drieu Date: Fri, 11 Feb 2022 21:20:36 +0100 Subject: [PATCH] Upadte for newer gnome-shell --- extension.js | 2 ++ metadata.json | 2 +- prefs.js | 2 +- servers/genericserver.js | 2 +- 4 files changed, 5 insertions(+), 3 deletions(-) diff --git a/extension.js b/extension.js index 7912370..6da2284 100644 --- a/extension.js +++ b/extension.js @@ -389,6 +389,7 @@ class Indicator extends PanelMenu.Button { this.boxes['warning'].set_text ( '…' ); this.boxes['critical'].set_text ( '…' ); this.boxes['unknown'].set_text ( '…' ); + this.stopChildSpin ( this._reloadButton ); return; } @@ -498,6 +499,7 @@ class Indicator extends PanelMenu.Button { this.stopChildSpin ( this._reloadButton ); + monitoLog ( 'RefreshUI done' ); return; } diff --git a/metadata.json b/metadata.json index fb5d4a3..7dfcff8 100644 --- a/metadata.json +++ b/metadata.json @@ -3,6 +3,6 @@ "description": "Checks for various monitoring servers (Icinga & Icinga2 at the moment)", "uuid": "monito@drieu.org", "shell-version": [ - "3.38" + "40" ] } diff --git a/prefs.js b/prefs.js index cd4803b..6abb051 100644 --- a/prefs.js +++ b/prefs.js @@ -93,7 +93,7 @@ function buildPrefsWidget() { let mainWidget = new Gtk.Notebook( { } ); let prefsWidget = new Gtk.Grid({ - margin: 18, +// margin: 18, column_spacing: 12, row_spacing: 12, column_homogeneous: false, diff --git a/servers/genericserver.js b/servers/genericserver.js index e55950e..0e9b1c4 100644 --- a/servers/genericserver.js +++ b/servers/genericserver.js @@ -97,7 +97,7 @@ class GenericServer { if ( message.status_code != Soup.Status.OK ) { log ( '>>> Error: ' + message.reason_phrase ); - log ( '>>> Data: ' + message.data ); + //log ( '>>> Data: ' + message.data ); // TODO: add pref for that // Main.notifyError ( 'Monito: ' + this.name, // 'URL: ' + this.urlcgi + "\n" +