diff options
author | emersion <contact@emersion.fr> | 2018-02-07 22:43:41 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-07 22:43:41 +0100 |
commit | e13b13ff1d08f0596b1efacfc209ff90bf751914 (patch) | |
tree | 264e571ba976a979c41391653c6a4e9f00e14290 /backend/session | |
parent | 9d7a9fc9d4b9dbe997120f37bb7bc62aed361e0b (diff) | |
parent | 712665b83b83871c52144ea36fe9469ad06b5107 (diff) |
Merge pull request #612 from VincentVanlaer/fix-move-resize
Fix jitter when quickly resizing windows
Diffstat (limited to 'backend/session')
0 files changed, 0 insertions, 0 deletions