1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-25 06:47:35 +00:00

MouseSettings: Further tweaks to margins and spacing :^)

This commit is contained in:
Andreas Kling 2021-07-20 22:51:45 +02:00
parent 81e6560009
commit a19a40d6d3

View file

@ -1,5 +1,6 @@
@GUI::Frame { @GUI::Frame {
fill_with_background_color: true fill_with_background_color: true
layout: @GUI::VerticalBoxLayout { layout: @GUI::VerticalBoxLayout {
margins: [10, 10, 10, 10] margins: [10, 10, 10, 10]
spacing: 5 spacing: 5
@ -11,11 +12,11 @@
layout: @GUI::VerticalBoxLayout { layout: @GUI::VerticalBoxLayout {
margins: [8, 16, 8, 8] margins: [8, 16, 8, 8]
spacing: 2
} }
@GUI::Widget { @GUI::Widget {
layout: @GUI::HorizontalBoxLayout { layout: @GUI::HorizontalBoxLayout {
margins: [8, 8, 8, 8]
spacing: 16 spacing: 16
} }
@ -33,6 +34,11 @@
@GUI::Widget { @GUI::Widget {
layout: @GUI::HorizontalBoxLayout { layout: @GUI::HorizontalBoxLayout {
spacing: 16
}
@GUI::Widget {
fixed_width: 32
} }
@GUI::HorizontalSlider { @GUI::HorizontalSlider {
@ -55,11 +61,11 @@
layout: @GUI::VerticalBoxLayout { layout: @GUI::VerticalBoxLayout {
margins: [8, 16, 8, 8] margins: [8, 16, 8, 8]
spacing: 2
} }
@GUI::Widget { @GUI::Widget {
layout: @GUI::HorizontalBoxLayout { layout: @GUI::HorizontalBoxLayout {
margins: [8, 8, 8, 8]
spacing: 16 spacing: 16
} }
@ -77,10 +83,12 @@
@GUI::Widget { @GUI::Widget {
layout: @GUI::HorizontalBoxLayout { layout: @GUI::HorizontalBoxLayout {
margins: [8, 8, 8, 8]
spacing: 8 spacing: 8
} }
@GUI::Widget { @GUI::Widget {
fixed_width: 32
} }
@GUI::Label { @GUI::Label {
@ -107,11 +115,11 @@
layout: @GUI::VerticalBoxLayout { layout: @GUI::VerticalBoxLayout {
margins: [8, 16, 8, 8] margins: [8, 16, 8, 8]
spacing: 2
} }
@GUI::Widget { @GUI::Widget {
layout: @GUI::HorizontalBoxLayout { layout: @GUI::HorizontalBoxLayout {
margins: [8, 8, 8, 8]
spacing: 16 spacing: 16
} }
@ -129,6 +137,12 @@
@GUI::Widget { @GUI::Widget {
layout: @GUI::HorizontalBoxLayout { layout: @GUI::HorizontalBoxLayout {
margins: [8, 8, 8, 8]
spacing: 8
}
@GUI::Widget {
fixed_width: 32
} }
@GUI::HorizontalSlider { @GUI::HorizontalSlider {