From 6209e483bdc3f191ef3b73eac96c29b386a9215d Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Tue, 25 Nov 2025 13:13:36 -0500 Subject: [PATCH] Add dtp css class to panelBox while extension enabled gh-2424 --- src/panel.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/panel.js b/src/panel.js index b0e2af2..4f0802e 100644 --- a/src/panel.js +++ b/src/panel.js @@ -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()