diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-07 00:29:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-07 00:29:12 +0100 |
| commit | 7885360f3f19994b29483c19a667b76e20ca7a7a (patch) | |
| tree | 750f7d80952d6caae3172be973fe25be7fb463b3 /platform/x11/os_x11.h | |
| parent | c0fd111e71bf12df346793a71229cb6d983c09bd (diff) | |
| parent | ca7e9c034882aa409d04c6921572e1845ba8bf0f (diff) | |
Merge pull request #13956 from poke1024/fix-poly2d-mode-change
Fixes Polygon2D wip mode closing when editing mode is changed
Diffstat (limited to 'platform/x11/os_x11.h')
0 files changed, 0 insertions, 0 deletions