3 ms·
Editable plain text terminals are wonderful. Especially for running interactive programming sessions (like ghci, or python). Unfortunately, some programs treat
by black_knight 8y ago
Editable plain text terminals are wonderful. Especially for running interactive programming sessions (like ghci, or python).
Unfortunately, some programs treat the teminal emulator as a screen with fixed positions to put coloured characters in. And this breaks down when your terminal is a text buffer.