Yuri Sizov dc3b07e551 Introduce editor theme spacing presets ...

This change adds a new editor setting related to theming
which controls base and additional spacing used in the
generated editor theme. These values can also be changed
manually by the user to customize their experience.

Limited effort was applied to make sure both Compact and
Spacious presets work and look fine, but further tuning
and adjustments are totally expected. Some controls will
require layout changes or additional fixes to their constants.

2024-01-16 11:57:45 +01:00

2 lines

193 B

XML

Raw Blame History