5 Commits

Author SHA1 Message Date
Philipp Unger
5c200d7577 fix sensitive change of grid_dot_color_unfocused 2022-04-28 21:06:07 +02:00
Philipp Unger
bd11400c0f harmonise box options margins and padding 2022-04-28 21:06:07 +02:00
Philipp Unger
6b0d24f1a5 set GtkScale width 2022-04-28 21:06:07 +02:00
Philipp Unger
fcf1cd10c1 migrate box dot options to adw preferences group 2022-04-28 21:06:07 +02:00
Philipp Unger
c3afaec504 migrate box options dialog 2022-04-28 21:06:07 +02:00