(disconnect: boolean)
| 204 | } |
| 205 | |
| 206 | load(disconnect: boolean) { |
| 207 | log('----------------'); |
| 208 | log('EXTENSION LOADED'); |
| 209 | log('----------------'); |
| 210 | if (disconnect && _startupPreparedId !== undefined) { |
| 211 | Main.layoutManager.disconnect(_startupPreparedId); |
| 212 | } |
| 213 | this.loaded = true; |
| 214 | this.locked = false; |
| 215 | if (oldOverview.visible) oldOverview.toggle(); |
| 216 | oldOverview.isDummy = true; |
| 217 | this.emit('extension-loaded'); |
| 218 | this.msNotificationManager?.check(); |
| 219 | if (splashscreenCalled) { |
| 220 | if (_splashscreenTimeoutId) { |
| 221 | Async.clearTimeoutId(_splashscreenTimeoutId); |
| 222 | _splashscreenTimeoutId = 0; |
| 223 | } |
| 224 | Async.addTimeout(GLib.PRIORITY_DEFAULT, 1000, () => { |
| 225 | this.hideSplashScreens(); |
| 226 | return GLib.SOURCE_REMOVE; |
| 227 | }); |
| 228 | } |
| 229 | log('--------------------'); |
| 230 | log('END EXTENSION LOADED'); |
| 231 | log('--------------------'); |
| 232 | } |
| 233 | |
| 234 | showSplashScreens() { |
| 235 | log('show splashscreen'); |
no test coverage detected