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
This issue can be tested with the jline-repl.bat jansi in the demo folder.
If the output of of the command is too long, it's impossible to scroll to it.
In order to test it run the above command in the Windows Terminal (either in Powershell or in Command Prompt).
Then press enter several times so that the scroll is enabled.
Press Alt-S to enable tailtip widgets.
Run help command (make sure that the windows is small enough so that the output is longer that the height of the terminal window).
Now try to scroll up - the first lines of the output are cropped.
It seems to me that the Windows Terminal treats the Capability.change_scroll_region in such a way that it crops the text which is outside the region?
Most probably it's a Windows Terminal bug but since I encountered it in the jline, reporting it here.
The text was updated successfully, but these errors were encountered:
This issue can be tested with the
jline-repl.bat jansi
in the demo folder.If the output of of the command is too long, it's impossible to scroll to it.
In order to test it run the above command in the Windows Terminal (either in Powershell or in Command Prompt).
Then press enter several times so that the scroll is enabled.
Press Alt-S to enable tailtip widgets.
Run
help
command (make sure that the windows is small enough so that the output is longer that the height of the terminal window).Now try to scroll up - the first lines of the output are cropped.
It seems to me that the Windows Terminal treats the Capability.change_scroll_region in such a way that it crops the text which is outside the region?
Most probably it's a Windows Terminal bug but since I encountered it in the jline, reporting it here.
The text was updated successfully, but these errors were encountered: