diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-08-03 07:33:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-03 07:33:44 +0200 |
| commit | 01ac237ab717e51db84f9c25b1fbe8141ff8cca0 (patch) | |
| tree | 9e22dee1491d85beecefdf2ee7cbef2d0c9dacd5 /tools/editor/plugins | |
| parent | e51f4725fef586077fa1abfc56873b0f87d8b27d (diff) | |
| parent | 38de4d24efb51e70302fd08c819241db5ec545ad (diff) | |
Merge pull request #6021 from marcelofg55/master
Fix set_window_size not setting the correct size on OSX
Diffstat (limited to 'tools/editor/plugins')
0 files changed, 0 insertions, 0 deletions