diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-15 10:35:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-15 10:35:08 +0200 |
| commit | 39c5f363f74b4ed5f665e2441bb0f6edac3377de (patch) | |
| tree | c7b83bbf17076c9f170d1fb2ac13e28b39088e08 /thirdparty/misc | |
| parent | 87ab468b7902bcaff12ebefb7a6e2952b27e3fa2 (diff) | |
| parent | 14a901e88f1469e7d39d6a01775622136c721807 (diff) | |
Merge pull request #24654 from groud/better_dragging_autoscroll
Enhance tree scrolling when dragging
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions