-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Work in fixed-height section of the Julia REPL #4
Comments
TerminalMenus-based pager: terminalmenus_pager.mp4TerminalPager.jl: terminalpager_pager.mp4 |
Hi @crstnbr Thanks for this information! I thought that the escape sequence was deleting all the lines. However, it appear to adding more lines to "clean" the screen. I will see how can I improve this. |
Hi @crstnbr I think it is working now, can you please test? |
Works, thanks! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Don't know if this is even possible with the current setup, but what I like about JuliaLang/julia#38956 based on
REPL.TerminalMenus
is that all the interactivity works within a "fixed-height section" of the Julia REPL. That is, I can navigate up and down as much as I want and when I quit (q
) the documentation bit only has taken so much of my REPL history. TerminalPager on the other hand seems to "reoutput" the relevant part of the docstring over and over again. Hence, if I go up and down multiple times my last line of Julia code is basically lost (the terminal output history is flooded with doctoring information).The text was updated successfully, but these errors were encountered: