__ __ __ __ _____ _ _ _____ _ _ _ | \/ | \ \ / / | __ \ (_) | | / ____| | | | | | \ / |_ __\ V / | |__) | __ ___ ____ _| |_ ___ | (___ | |__ ___| | | | |\/| | '__|> < | ___/ '__| \ \ / / _` | __/ _ \ \___ \| '_ \ / _ \ | | | | | | |_ / . \ | | | | | |\ V / (_| | || __/ ____) | | | | __/ | | |_| |_|_(_)_/ \_\ |_| |_| |_| \_/ \__,_|\__\___| |_____/|_| |_|\___V 2.1 if you need WebShell for Seo everyday contact me on Telegram Telegram Address : @jackleetFor_More_Tools:
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
import {DockManager} from './docking.js';
import {Main} from './dependencies/shell/ui.js';
import {Extension} from './dependencies/shell/extensions/extension.js';
// We export this so it can be accessed by other extensions
export let dockManager;
export default class DashToDockExtension extends Extension.Extension {
enable() {
this._extensionListenerId = Main.extensionManager.connect(
'extension-state-changed', () => this._conditionallyEnableDock());
this._conditionallyEnableDock();
}
_conditionallyEnableDock() {
const toEnable = !Main.extensionManager._extensionOrder.includes(
'[email protected]');
if (toEnable && !dockManager)
dockManager = new DockManager(this);
else if (!toEnable && dockManager)
dockManager?.destroy();
}
disable() {
try {
dockManager?.destroy();
dockManager = null;
} catch (e) {
logError(e, 'Failed to destroy dockManager');
} finally {
Main.extensionManager.disconnect(this._extensionListenerId);
}
}
}
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| dependencies | Folder | 0755 |
|
|
| media | Folder | 0755 |
|
|
| README.md | File | 2.4 KB | 0644 |
|
| Settings.ui | File | 163.97 KB | 0644 |
|
| appIconIndicators.js | File | 44.14 KB | 0644 |
|
| appIcons.js | File | 57.69 KB | 0644 |
|
| appIconsDecorator.js | File | 5.74 KB | 0644 |
|
| appSpread.js | File | 7.06 KB | 0644 |
|
| dash.js | File | 41.15 KB | 0644 |
|
| dbusmenuUtils.js | File | 10.63 KB | 0644 |
|
| desktopIconsIntegration.js | File | 6.39 KB | 0644 |
|
| docking.js | File | 95.61 KB | 0644 |
|
| extension.js | File | 1.18 KB | 0644 |
|
| fileManager1API.js | File | 6.66 KB | 0644 |
|
| imports.js | File | 859 B | 0644 |
|
| intellihide.js | File | 11.11 KB | 0644 |
|
| launcherAPI.js | File | 9.22 KB | 0644 |
|
| locations.js | File | 48.36 KB | 0644 |
|
| locationsWorker.js | File | 2.69 KB | 0644 |
|
| metadata.json | File | 509 B | 0644 |
|
| notificationsMonitor.js | File | 3.86 KB | 0644 |
|
| prefs.js | File | 47.03 KB | 0644 |
|
| stylesheet.css | File | 75.26 KB | 0644 |
|
| theming.js | File | 19.89 KB | 0644 |
|
| ubuntu.css | File | 0 B | 0644 |
|
| utils.js | File | 20.27 KB | 0644 |
|
| windowPreview.js | File | 21.99 KB | 0644 |
|