You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems the markdown preview tries to manage scrolling but has some bugs in the way it handles it.
Depending on whether I'm typing characters (or new lines) or deleting them and the position at which I'm doing so (beginning, middle, or end of a long document), the behavior seems a bit erratic.
My general expectation would be that it would auto-scroll to the current typing position, maybe simply by scrolling when the user scrolls the main window with the mouse or the keyboard (i.e. when they use the arrow/PgUp/PgDown/Home/End keys), if
the scrolled view contains (or contained) the position of the current selection/text cursor position (i.e. maybe not if the user explicitly scrolled outside of the visible position of the text cursor because they want to preview another part of the document without the scroll resetting)
the scrollbar was already at the bottom and the user keeps appending text at the bottom of the document, or adding text somewhere else that increases the length (and thus scrolling) of the document. Currently this behavior seems to be a bit erratic, as you can see in the video below:
the only thing the plugin manages is that, when you scroll to a given position in the preview (= a number of pixels from the top of the preview) with your mouse, this number of pixels is remembered and the position will be restored at the next reloading of the preview. At 0:05 we can even see a frame between the reloading of the preview and the reapplying of the position
the plugin is not aware at all of the position of the respective characters within the preview, and since the rendering is done by libraries i don't control, it just can't. Synchronizing the preview with the editor view is, sadly, probably not a possible future enhancement
the best i could do is that if you scrolled at the very end of the preview, the plugin could then try to scroll as down as possible at each reloading
@maoschanz
I think it should be possible to implement this feature, since the libraries have some extensions that can be enabled for including the source position in the output.
It seems the markdown preview tries to manage scrolling but has some bugs in the way it handles it.
Depending on whether I'm typing characters (or new lines) or deleting them and the position at which I'm doing so (beginning, middle, or end of a long document), the behavior seems a bit erratic.
My general expectation would be that it would auto-scroll to the current typing position, maybe simply by scrolling when the user scrolls the main window with the mouse or the keyboard (i.e. when they use the arrow/PgUp/PgDown/Home/End keys), if
gedit-markdown-preview.plugin.bottom.auto.scroll.issue.mp4
The text was updated successfully, but these errors were encountered: