diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-08-17 21:56:59 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-08-17 21:56:59 +0200 |
| commit | c0eee235c4dfd7d0af90301151709d4e22668fbd (patch) | |
| tree | 6ba589531ebccf5a3b45a9fde9f5000dc69b6f7b /misc/ide | |
| parent | 86371b7298e32356c8ce892f768c56bec7088292 (diff) | |
Define a minimum window size in the editor and project manager
This prevents most UI elements from overlapping or being cut off
as a result of the window being too small.
This closes #20669.
Diffstat (limited to 'misc/ide')
0 files changed, 0 insertions, 0 deletions