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 | |
| 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')
0 files changed, 0 insertions, 0 deletions