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

Join panel margins to existing panelBox theme padding

Browse Source 
gh-2424
This commit is contained in:
Charles Gagnon
2025-11-25 12:32:41 -05:00
parent 01dcf21e81
commit dcdf17d9d8
1 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/panel.js
View File

@@ -1108,16 +1108,23 @@ export const Panel = GObject.registerClass(
} }
_setPanelBoxStyle(disable) { _setPanelBoxStyle(disable) {
let style = '' this.panelBox.set_style('')
if (!disable) { if (!disable) {
let topBottomMargins = SETTINGS.get_int('panel-top-bottom-margins') let topBottomMargins = SETTINGS.get_int('panel-top-bottom-margins')
let sideMargins = SETTINGS.get_int('panel-side-margins') let sideMargins = SETTINGS.get_int('panel-side-margins')
let panelBoxTheme = this.panelBox.get_theme_node()
let getPadding = (side) => panelBoxTheme.get_padding(side)
style = `padding: ${this.geom.topOffset + topBottomMargins}px ${sideMargins}px ${topBottomMargins}px;` // add existing theme padding to dtp panel margins
this.panelBox.set_style(
`padding:
${this.geom.topOffset + topBottomMargins + getPadding(St.Side.TOP)}px
${sideMargins + getPadding(St.Side.RIGHT)}px
${topBottomMargins + getPadding(St.Side.BOTTOM)}px
${sideMargins + getPadding(St.Side.LEFT)}px;`,
)
} }
this.panelBox.set_style(style)
} }
_maybeSetDockCss(disable) { _maybeSetDockCss(disable) {