diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-10-21 13:54:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-21 13:54:44 +0200 |
commit | 9c1faadcf9bac6f5c3100e0165e395d1abb20dcb (patch) | |
tree | 32b667225776e187ab901718b547035d091bdacf /editor/icons/icon_filesystem.svg | |
parent | 28eca3649d1aecf0845c70a3e722b7cfee517660 (diff) | |
parent | ee94081b4adb3e0d561e7c2ad0aa5f0bc8ca8c8e (diff) |
Merge pull request #32939 from Paulb23/issue_32785_minimap_index
Fixed -1 minimap index when smooth scrolling is enabled
Diffstat (limited to 'editor/icons/icon_filesystem.svg')
0 files changed, 0 insertions, 0 deletions