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

Limit windows to top edge of primary monitor

Browse Source 
Mimic the default top panel's restriction when the panel is at the bottom
This commit is contained in:
Charles Gagnon
2018-06-03 15:15:54 -04:00
parent 8349424b4c
commit 815f9d9caa
1 changed files with 22 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
panel.js
View File

@@ -279,6 +279,7 @@ var dtpPanel = new Lang.Class({
if(this._ScaleFactorListener !== null) {
St.ThemeContext.get_for_stage(global.stage).disconnect(this._ScaleFactorListener);
}
this._removeTopLimit();
this.panel.actor.set_height(this._oldPanelHeight);
this.panelBox.set_anchor_point(0, 0);
Main.overview._overview.remove_child(this._myPanelGhost);
@@ -478,6 +479,7 @@ var dtpPanel = new Lang.Class({
_setPanelPosition: function() {
let scaleFactor = St.ThemeContext.get_for_stage(global.stage).scale_factor;
let size = this._dtpSettings.get_int('panel-size');
if(scaleFactor)
size = size*scaleFactor;
@@ -491,6 +493,8 @@ var dtpPanel = new Lang.Class({
if(isTop) {
this.panelBox.set_anchor_point(0, 0);
this._removeTopLimit();
// styles for theming
if(this.panel.actor.has_style_class_name('dashtopanelBottom'))
@@ -499,7 +503,17 @@ var dtpPanel = new Lang.Class({
if(!this.panel.actor.has_style_class_name('dashtopanelTop'))
this.panel.actor.add_style_class_name('dashtopanelTop');
} else {
this.panelBox.set_anchor_point(0,(-1)*(Main.layoutManager.primaryMonitor.height-this.panelBox.height));
let primaryMonitor = Main.layoutManager.primaryMonitor;
this.panelBox.set_anchor_point(0,(-1)*(primaryMonitor.height-this.panelBox.height));
if (!this._topLimit) {
this._topLimit = new St.BoxLayout({ name: 'topLimit', vertical: true });
Main.layoutManager.addChrome(this._topLimit, { affectsStruts: true, trackFullscreen: true });
}
this._topLimit.set_position(primaryMonitor.x, primaryMonitor.y);
this._topLimit.set_size(primaryMonitor.width, -1);
// styles for theming
if(this.panel.actor.has_style_class_name('dashtopanelTop'))
@@ -512,6 +526,13 @@ var dtpPanel = new Lang.Class({
Main.layoutManager._updateHotCorners();
},
_removeTopLimit: function() {
if (this._topLimit) {
Main.layoutManager.removeChrome(this._topLimit);
this._topLimit = null;
}
},
_setActivitiesButtonVisible: function(isVisible) {
if(this.panel.statusArea.activities)
isVisible ? this.panel.statusArea.activities.actor.show() :