Minimum Width for REPL

[cortner]

Would it be possible to introduce a minimum width setting for the REPL?

I often push my REPL to the side to have more space in the editor, but then the output becomes unreadable. But if a minimum width can be specified, say 100 characters or thereabouts, then I can just scroll left-right, or expand the REPL pane to read it.

[cortner]

a particularly annoying consequence of a narrow REPL pane is that @showprogress will print new lines instead of updating the existing progress bar.

[pfitzseb]

Sure. What do you suggest as a sensible minimum width? 60 chars? 80 chars?

[cortner]

Without further thought 80 seem canonical

Mayer better to play around first - how can I determine the current width of the REpL?

[pfitzseb]

Mh, there's no way to easily get that, but you can compare the width to your editor since both use the same font and font size. For reference, the Julia banner's width is 60 chars.

[pfitzseb]

Oh, and regarding

I often push my REPL to the side to have more space in the editor, but then the output becomes unreadable

You can put the REPL into a dock (like the git pane, if you've played around with that), which you can close and reopen at any time.

[pfitzseb]

Just so I don't forget: This needs to be implemented in css with a min-width: 60em on ink-terminal .terminal.xterm and overflow-x: auto; on ink-terminal. Also need to set the correct font and font-size via a config listener.

[cortner]

ok - I played around with it a bit, I think anything between 70-80 char seems a reasonable default, 60 I find is a bit narrow. I kind of like 80 since this is also the default width of my terminal (and I guess most, but maybe this is individual taste?) I guess time will tell what a good default is (if any)