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
Toggling the gutter no longer collapses the lines to the left. This is easy to see using:
env.editor.renderer.setShowGutter(!env.editor.renderer.showGutter);
Resizing the window fixes them but strangely calling window.resize() doesn't. After resizing the window toggling the gutter again means that the line is on top of the gutter.
The text was updated successfully, but these errors were encountered:
I think this is solved. Since toggling the gutter is not likely a fequent operation the flashing of the scrollbar and the linear time with line numbers should be ok.
Toggling the gutter no longer collapses the lines to the left. This is easy to see using:
env.editor.renderer.setShowGutter(!env.editor.renderer.showGutter);
Resizing the window fixes them but strangely calling window.resize() doesn't. After resizing the window toggling the gutter again means that the line is on top of the gutter.
The text was updated successfully, but these errors were encountered: