diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-30 12:07:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-30 12:07:09 +0200 |
| commit | 419022ea8909f26ac4353cc816c553ca14e0b925 (patch) | |
| tree | 9d0a382f9ccd50a1ed4182f23459e3dd96b694ba /editor | |
| parent | 0327d57cfd64b40878a79e5b83f4848001fecb4a (diff) | |
| parent | 85cc435103e539990f095966aaa3ea786a7dd386 (diff) | |
Merge pull request #26977 from bruvzg/fix_x11_window_pos
Fix get_window_position / set_window_position on Linux
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions