morgan/dash-to-panel
1
0
Fork 0
mirror of https://github.com/morgan9e/dash-to-panel synced 2026-04-15 00:34:05 +09:00
Code Issues Packages Projects Releases Wiki Activity

Disable ubuntu-dock theming on enable

Browse Source
This commit is contained in:
Charles Gagnon
2018-05-05 14:24:03 -04:00
parent b1262ed5ec
commit c1817e2e73
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
extension.js
View File

@@ -29,6 +29,7 @@ const Gio = imports.gi.Gio;
const GLib = imports.gi.GLib;
const Lang = imports.lang;
const Shell = imports.gi.Shell;
const St = imports.gi.St;
const WindowManager = imports.ui.windowManager;
const ExtensionUtils = imports.misc.extensionUtils;
const ExtensionSystem = imports.ui.extensionSystem;
@@ -53,10 +54,14 @@ function enable() {
}
function _enable() {
// Disable Ubuntu Dock
if (imports.misc.extensionUtils.extensions[UBUNTU_DOCK_UUID] &&
imports.misc.extensionUtils.extensions[UBUNTU_DOCK_UUID].stateObj.dockManager) {
imports[UBUNTU_DOCK_UUID].extension.disable();
let ubuntuDock = ExtensionUtils.extensions[UBUNTU_DOCK_UUID];
if (ubuntuDock && ubuntuDock.stateObj.dockManager) {
// Disable Ubuntu Dock
St.ThemeContext.get_for_stage(global.stage).get_theme().unload_stylesheet(ubuntuDock.stylesheet);
ubuntuDock.stateObj.disable();
ubuntuDock.state = ExtensionSystem.ExtensionState.DISABLED;
ExtensionSystem.extensionOrder.splice(ExtensionSystem.extensionOrder.indexOf(UBUNTU_DOCK_UUID), 1);
//reset to prevent conflicts with the ubuntu-dock
if (panel) {
@@ -121,7 +126,7 @@ function disable(reset) {
// Re-enable Ubuntu Dock if it exists
if (ExtensionUtils.extensions[UBUNTU_DOCK_UUID] && Main.sessionMode.allowExtensions) {
imports[UBUNTU_DOCK_UUID].extension.enable();
ExtensionSystem.enableExtension(UBUNTU_DOCK_UUID);
}
}
}