But its UI is a bit limiting: I have a terminal window with 55 rows and 185 columns, yet JET insists on squeezing itself into the bottom 11 rows. Is there a way to make it use more, e.g. I'd be happy if it just used half of my screen (so ~27 rows).
Alas my call stacks are also apparently too deeply nested, and there seems to be no way to do horizontal scrolling... And I get this which you might agree is not terribly helpful:
Is there a way to change this? I.e.
have JET use more lines of my terminal
possible allow for horizontal scrolling
Out of completeness (and with zero expectations to get anything like that anytime soon): I guess in the end this is something for which a well implemented GUI widget would probably beat anything one can do in a terminal alone. I see hints about VS Code integration in the JET manual, but I am not really a VS Code user and couldn't figure out whether it has a way to make ascend output more accessible?
JET is great!
But its UI is a bit limiting: I have a terminal window with 55 rows and 185 columns, yet JET insists on squeezing itself into the bottom 11 rows. Is there a way to make it use more, e.g. I'd be happy if it just used half of my screen (so ~27 rows).
Alas my call stacks are also apparently too deeply nested, and there seems to be no way to do horizontal scrolling... And I get this which you might agree is not terribly helpful:
Is there a way to change this? I.e.
Out of completeness (and with zero expectations to get anything like that anytime soon): I guess in the end this is something for which a well implemented GUI widget would probably beat anything one can do in a terminal alone. I see hints about VS Code integration in the JET manual, but I am not really a VS Code user and couldn't figure out whether it has a way to make
ascend
output more accessible?