mirror of
https://github.com/morgan9e/dash-to-panel
synced 2026-04-14 00:04:17 +09:00
@@ -33,6 +33,7 @@ const WindowManager = imports.ui.windowManager;
|
||||
let panel;
|
||||
let overview;
|
||||
let settings;
|
||||
let oldDash;
|
||||
|
||||
function init() {
|
||||
}
|
||||
@@ -57,12 +58,20 @@ function enable() {
|
||||
panel.taskbar.popupFocusedAppSecondaryMenu();
|
||||
})
|
||||
);
|
||||
|
||||
// Pretend I'm the dash: meant to make appgrd swarm animation come from the
|
||||
// right position of the appShowButton.
|
||||
oldDash = Main.overview._dash;
|
||||
Main.overview._dash = panel.taskbar;
|
||||
}
|
||||
|
||||
function disable() {
|
||||
overview.disable();
|
||||
panel.disable();
|
||||
settings.run_dispose();
|
||||
Main.overview._dash = oldDash;
|
||||
|
||||
oldDash=null;
|
||||
settings = null;
|
||||
overview = null;
|
||||
panel = null;
|
||||
|
||||
Reference in New Issue
Block a user