diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-08-09 11:08:16 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-08-09 11:10:48 +0200 |
| commit | cd29cdab154cad8f66902f56ddf0c1a3124ddcc0 (patch) | |
| tree | f1232fee645fe00f220c26448293bc5a2696d5c7 /thirdparty | |
| parent | a71a5fc0c3f5d487d3f18c3b9e9a768052795e86 (diff) | |
Scale the project manager window size with the editor scale
This also makes the project search field slightly larger.
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions