Fixed an issue that would occur when providing px values for bar margin_top. (#206)

* Fixed an issue that would occur when providing px values for bar margin_top.

* Adjust margin
This commit is contained in:
Jas Singh
2024-08-29 22:07:01 -07:00
committed by GitHub
parent 6140778e5d
commit f80b3e4ef6
2 changed files with 17 additions and 1 deletions

View File

@@ -125,6 +125,17 @@ export default ({
class_name: "top-eb", class_name: "top-eb",
vertical: true, vertical: true,
children: [ children: [
Widget.EventBox({
class_name: "mid-eb event-top-padding-static",
hexpand: true,
vexpand: false,
can_focus: false,
child: Widget.Box(),
setup: (w) => {
w.on("button-press-event", () => App.toggleWindow(name));
w.set_margin_top(1);
},
}),
Widget.EventBox({ Widget.EventBox({
class_name: "mid-eb event-top-padding", class_name: "mid-eb event-top-padding",
hexpand: true, hexpand: true,

View File

@@ -233,9 +233,14 @@
color: $sky; color: $sky;
} }
.event-top-padding-static * {
min-height: 0em;
margin-top: 2.8em;
}
.event-top-padding * { .event-top-padding * {
min-height: 0em; min-height: 0em;
margin-top: 2.8em + if($bar-floating, $bar-margin_top * 1.1, $bar-margin_top * 0.1); margin-top: if($bar-floating, $bar-margin_top, 0);
} }
@keyframes spin { @keyframes spin {