diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-12 13:39:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-12 13:39:34 +0100 |
| commit | 26bb08f8b3b009f17645558309f4c5c02733e4c2 (patch) | |
| tree | 96edeac5bfdc699192155df89271d7b055e95ec8 /editor/icons | |
| parent | ccf6f33813765d1e75e34313baecd805d1ad716e (diff) | |
| parent | 65e2230f6e75df07441eda3038066f901ff143d9 (diff) | |
Merge pull request #35037 from timothyqiu/plugin-min-height
Fixes min size of various editor plugins on HiDPI
Diffstat (limited to 'editor/icons')
0 files changed, 0 insertions, 0 deletions