Add dtp css class to panelBox while extension enabled

gh-2424
This commit is contained in:
Charles Gagnon
2025-11-25 13:13:36 -05:00
parent dcdf17d9d8
commit 6209e483bd

View File

@@ -1109,8 +1109,11 @@ export const Panel = GObject.registerClass(
_setPanelBoxStyle(disable) {
this.panelBox.set_style('')
this.panelBox.remove_style_class_name('dashtopanel')
if (!disable) {
this.panelBox.add_style_class_name('dashtopanel')
let topBottomMargins = SETTINGS.get_int('panel-top-bottom-margins')
let sideMargins = SETTINGS.get_int('panel-side-margins')
let panelBoxTheme = this.panelBox.get_theme_node()