Closed bjarthur closed 6 months ago
support TerminalPager. see https://github.com/ronisbr/TerminalPager.jl/issues/34
these changes work for my narrow use case. would be good to test more broadly before merging.
The errors seem unrelated, I'll have a look when I get time
just force pushed some changes to fix a bug
support TerminalPager. see https://github.com/ronisbr/TerminalPager.jl/issues/34
these changes work for my narrow use case. would be good to test more broadly before merging.