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

Add panelBox padding to clipping container position

Browse Source
This commit is contained in:
Charles Gagnon
2019-05-31 17:10:53 -04:00
parent 3f6361a110
commit f63b39b2e8
1 changed files with 10 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
windowPreview.js
View File

@@ -120,6 +120,11 @@ var PreviewMenu = Utils.defineClass({
'scroll-event',
this._onScrollEvent.bind(this)
],
[
this._panelWrapper.panelBox,
'style-changed',
() => this._updateClip()
],
[
this._dtpSettings,
[
@@ -384,6 +389,7 @@ var PreviewMenu = Utils.defineClass({
_updateClip: function() {
let x, y, w, h;
let panelBoxTheme = this._panelWrapper.panelBox.get_theme_node();
let panelSize = this._dtpSettings.get_int('panel-size') * scaleFactor;
let previewSize = (this._dtpSettings.get_int('window-preview-size') +
this._dtpSettings.get_int('window-preview-padding') * 2) * scaleFactor;
@@ -399,13 +405,13 @@ var PreviewMenu = Utils.defineClass({
}
if (this._position == St.Side.LEFT) {
x = this._panelWrapper.monitor.x + panelSize;
x = this._panelWrapper.monitor.x + panelSize + panelBoxTheme.get_padding(St.Side.LEFT);
} else if (this._position == St.Side.RIGHT) {
x = this._panelWrapper.monitor.x + this._panelWrapper.monitor.width - (panelSize + previewSize) ;
x = this._panelWrapper.monitor.x + this._panelWrapper.monitor.width - (panelSize + previewSize) - panelBoxTheme.get_padding(St.Side.RIGHT);
} else if (this._position == St.Side.TOP) {
y = this._panelWrapper.monitor.y + panelSize;
y = this._panelWrapper.monitor.y + panelSize + panelBoxTheme.get_padding(St.Side.TOP);
} else { //St.Side.BOTTOM
y = this._panelWrapper.monitor.y + this._panelWrapper.monitor.height - (panelSize + previewSize + headerHeight);
y = this._panelWrapper.monitor.y + this._panelWrapper.monitor.height - (panelSize + panelBoxTheme.get_padding(St.Side.BOTTOM) + previewSize + headerHeight);
}
this.set_clip(0, 0, w, h);