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

Handle scale_factor change after extension load

Browse Source 
Fixes #57
This commit is contained in:
jderose9
2017-02-11 08:16:41 -05:00
parent 6c867fb97d
commit aab98a4590
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
panel.js
View File

@@ -70,6 +70,11 @@ const dtpPanel = new Lang.Class({
this._setPanelPosition();
}));
// this is to catch changes to the window scale factor
this._ScaleFactorListener = St.ThemeContext.get_for_stage(global.stage).connect("changed", Lang.bind(this, function () {
this._setPanelPosition();
}));
// The main panel's connection to the "allocate" signal is competing with this extension
// trying to move the centerBox over to the right, creating a never-ending cycle.
// Since we don't have the ID to disconnect that handler, wrap the allocate() function
@@ -183,6 +188,9 @@ const dtpPanel = new Lang.Class({
if(this._MonitorsChangedListener !== null) {
global.screen.disconnect(this._MonitorsChangedListener);
}
if(this._ScaleFactorListener !== null) {
St.ThemeContext.get_for_stage(global.stage).disconnect(this._ScaleFactorListener);
}
this.panel.actor.set_height(this._oldPanelHeight);
this.panelBox.set_anchor_point(0, 0);
Main.overview._overview.remove_child(this._myPanelGhost);