diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-03-21 02:00:58 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-03-21 02:00:58 +0100 |
| commit | 6d4514c95e88acabd88fb5c426ed7a422fcf070a (patch) | |
| tree | 1cc631a3c201570c915c459d49da75fdc21b1552 /editor/editor_properties.h | |
| parent | a8e3b5ef25270764615a0d64f06339bead2c1fc1 (diff) | |
Decrease the default line spacing in the script editor
This brings the level of line spacing closer to what it was like
in Godot 3.x, which improves usability on small displays.
This also decreases the default line spacing for fixed-width texts
in the About dialog (license text).
Diffstat (limited to 'editor/editor_properties.h')
0 files changed, 0 insertions, 0 deletions