dc3b07e551
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. |
||
|---|---|---|
| .. | ||
| classes | ||
| tools | ||
| translations | ||
| class.xsd | ||
| Doxyfile | ||
| Makefile | ||