diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-11-12 16:01:27 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-11-16 16:23:15 +0100 |
| commit | c1a65e52896ae060881bba929dd4a7ff824139b9 (patch) | |
| tree | 99f1cc4f6d411ba88fde2a623405009d060c4001 /editor/plugins/animation_player_editor_plugin.h | |
| parent | a7d610db164a96d08c4dff121812c78c37bd4227 (diff) | |
Use 75% editor scale on small displays automatically
This also makes borders always display in the editor theme,
even if the editor scale is below 100%. Otherwise, "focus" outlines
would vanish when using an editor scale below 100%,
which harms usability.
Diffstat (limited to 'editor/plugins/animation_player_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions