Skip to content
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

Closed
carstenbauer opened this issue Apr 20, 2021 · 4 comments
Closed

Work in fixed-height section of the Julia REPL #4

carstenbauer opened this issue Apr 20, 2021 · 4 comments

Comments

@carstenbauer
Copy link
Contributor

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).

@carstenbauer
Copy link
Contributor Author

TerminalMenus-based pager:

terminalmenus_pager.mp4

TerminalPager.jl:

terminalpager_pager.mp4

@ronisbr
Copy link
Owner

ronisbr commented Apr 20, 2021

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.

@ronisbr
Copy link
Owner

ronisbr commented Apr 21, 2021

Hi @crstnbr

I think it is working now, can you please test?

@carstenbauer
Copy link
Contributor Author

Works, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants