diff options
author | jmb462 <jmb462@gmail.com> | 2021-08-27 14:32:52 +0200 |
---|---|---|
committer | jmb462 <jmb462@gmail.com> | 2021-08-27 14:32:52 +0200 |
commit | 59116e1995d2a0d463294701281e52383c27ecf6 (patch) | |
tree | 1e5b3d73b320527963819c12576366a6f6a156df /editor/editor_builders.py | |
parent | 00268e37a0e40630ce76b5144cb272c4cc73a672 (diff) |
Fix bad size after restoring a minimized window under Windows
Diffstat (limited to 'editor/editor_builders.py')
0 files changed, 0 insertions, 0 deletions