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
A user filed the following against Proto REPL (#99) but I think this is a problem with the Atom Ink inline scrolling. If you have something expanded that goes beyond the end of the screen and your mouse is within the inline display then you can't scroll to see the rest of the content. I was thinking that if the div is partially offscreen then the outer window should be scrollable until the inline display is completely visible. I'm not sure how much control you have over that within Atom.
The scroll bars don't appear, and the panel can't be scrolled in any direction, even though there is additional data to show.
The text was updated successfully, but these errors were encountered:
I can look into this, but for now I'd recommend turning on the Scroll Past End checkbox in the settings, which should give more than enough screen space for inline results.
A user filed the following against Proto REPL (#99) but I think this is a problem with the Atom Ink inline scrolling. If you have something expanded that goes beyond the end of the screen and your mouse is within the inline display then you can't scroll to see the rest of the content. I was thinking that if the div is partially offscreen then the outer window should be scrollable until the inline display is completely visible. I'm not sure how much control you have over that within Atom.
The text was updated successfully, but these errors were encountered: