diff options
| author | geequlim <geequlim@gmail.com> | 2017-10-19 22:12:46 +0800 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-20 12:52:18 +0200 |
| commit | eeacae563c5796746879da3155b2d27508736f19 (patch) | |
| tree | 6093b63c9b81043f4bc4239cc98f663ea56a9bfc /editor/plugins | |
| parent | cf5eded9827d7191dc4c2a638353b48199cb6c32 (diff) | |
Fix window display shrink can't set to float numbers
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions