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

Prevent setting top padding to original gnome-shell top bar

Browse Source
This commit is contained in:
Charles Gagnon
2025-02-25 17:37:16 -05:00
parent 90bc4063a2
commit 6e74ef146f
1 changed files with 11 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
src/panel.js
View File

@@ -390,7 +390,7 @@ export const Panel = GObject.registerClass(
this.taskbar.destroy()
this.showAppsIconWrapper.destroy()
this._setPanelBoxStyle('0', '0')
this._setPanelBoxStyle(true)
this._maybeSetDockCss(true)
this.menuManager._changeMenu = this.menuManager._oldChangeMenu
@@ -1082,14 +1082,17 @@ export const Panel = GObject.registerClass(
}
}
_setPanelBoxStyle(topBottomMargins, sideMargins) {
topBottomMargins =
topBottomMargins || SETTINGS.get_int('panel-top-bottom-margins')
sideMargins = sideMargins || SETTINGS.get_int('panel-side-margins')
_setPanelBoxStyle(disable) {
let style = ''
this.panelBox.set_style(
`padding: ${this.getTopOffset()}px ${sideMargins}px ${topBottomMargins}px;`,
)
if (!disable) {
let topBottomMargins = SETTINGS.get_int('panel-top-bottom-margins')
let sideMargins = SETTINGS.get_int('panel-side-margins')
style = `padding: ${this.getTopOffset()}px ${sideMargins}px ${topBottomMargins}px;`
}
this.panelBox.set_style(style)
}
_maybeSetDockCss(disable) {