Browse Source

Upadte for newer gnome-shell

master
Benjamin Drieu 5 months ago
parent
commit
191c1bcb21
  1. 2
      extension.js
  2. 2
      metadata.json
  3. 2
      prefs.js
  4. 2
      servers/genericserver.js

2
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;
}

2
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"
]
}

2
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,

2
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" +

Loading…
Cancel
Save