mirror of
https://github.com/morgan9e/dash-to-panel
synced 2026-04-14 00:04:17 +09:00
Only enable ubuntu dock if dtp disabled it
This commit is contained in:
14
extension.js
14
extension.js
@@ -33,6 +33,7 @@ const UBUNTU_DOCK_UUID = 'ubuntu-dock@ubuntu.com';
|
||||
let panelManager;
|
||||
let extensionChangedHandler;
|
||||
let startupCompleteHandler;
|
||||
let disabledUbuntuDock;
|
||||
let extensionSystem = Main.extensionManager;
|
||||
|
||||
export let DTP_EXTENSION = null;
|
||||
@@ -80,7 +81,11 @@ export default class DashToPanelExtension extends Extension {
|
||||
|
||||
if (!reset) {
|
||||
extensionSystem.disconnect(extensionChangedHandler);
|
||||
extensionSystem.enableExtension(UBUNTU_DOCK_UUID);
|
||||
|
||||
if (disabledUbuntuDock) {
|
||||
disabledUbuntuDock = false;
|
||||
extensionSystem.enableExtension(UBUNTU_DOCK_UUID);
|
||||
}
|
||||
|
||||
delete global.dashToPanel;
|
||||
|
||||
@@ -97,7 +102,12 @@ export default class DashToPanelExtension extends Extension {
|
||||
}
|
||||
|
||||
function _enable(extension) {
|
||||
extensionSystem.disableExtension(UBUNTU_DOCK_UUID);
|
||||
let enabled = global.settings.get_strv('enabled-extensions');
|
||||
|
||||
if (enabled?.indexOf(UBUNTU_DOCK_UUID) >= 0) {
|
||||
disabledUbuntuDock = true;
|
||||
extensionSystem.disableExtension(UBUNTU_DOCK_UUID);
|
||||
}
|
||||
|
||||
if (panelManager)
|
||||
return panelManager.toggleDash(); // already initialized but ubuntu dock restored the original dash on disable
|
||||
|
||||
Reference in New Issue
Block a user