diff options
author | Juan Linietsky <reduzio@gmail.com> | 2017-10-30 19:47:02 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-30 19:47:02 -0300 |
commit | fd07a283e58bb214c974979ff094d2b8b7c00bac (patch) | |
tree | 50c26f7c1b3b9603182f819799e28cd6fdc13f88 /editor | |
parent | 4785e66eeab237d9390471d1ca2631e2f187d89b (diff) | |
parent | 793da07a4dc6be1437fba4cefec9dc0c8035be64 (diff) |
Merge pull request #12523 from RandomShaper/fix-margins-drawn-too-late
Fix viewport margins drawn after swapping buffers
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions