FIXED: [13.20b1] Document map issues
Posted: 17 May 2018 11:55
Newly added preview in Document map is, pardon my French, très sympa
However, there are some petits problèmes:
1) preview should inherit "space between lines" setting from appropriate highlighter
2) when scrolling over Document map, preview is not refreshed and that's probably OK; but when I click on Document map, main document is automatically scrolled to the appropriate region, and so is shifted Document map -- but preview stays frozen, so now it shows wrong part of the document (not the lines where mouse cursor is); I think it should be refreshed
3) while switching on Document map, for a heartbeat translucent rectangle is visible in the top left corner of the editor; I managed to make it stay there (and be opaque), but can't repeat it now
4) not a problem, but still good to know, I think: if editor window isn't maximized and moved around, and Document map is on, current frame indicator stays put and comes back to its place on mouse button release:

1) preview should inherit "space between lines" setting from appropriate highlighter
2) when scrolling over Document map, preview is not refreshed and that's probably OK; but when I click on Document map, main document is automatically scrolled to the appropriate region, and so is shifted Document map -- but preview stays frozen, so now it shows wrong part of the document (not the lines where mouse cursor is); I think it should be refreshed
3) while switching on Document map, for a heartbeat translucent rectangle is visible in the top left corner of the editor; I managed to make it stay there (and be opaque), but can't repeat it now
4) not a problem, but still good to know, I think: if editor window isn't maximized and moved around, and Document map is on, current frame indicator stays put and comes back to its place on mouse button release: