|
|
|
|
|
by tezza
3094 days ago
|
|
guiding principles is that a terminal is still part of the computing ecosystem and needs to be a well integrated companion to GUI and desktop apps running concurrently. so here are some suggestions off the top of my head * padding on the left of the terminal. mouse selection from the start of the line needlessly requires precision mousing. more often than essential when attempting to select some text with the mouse, one resizes the terminal or selects a window behind the terminal frame. probably best in the gui client but perhaps some escape modes where whitespace can be hinted as not copyable * perhaps a modes to suggest arbitrary text should not be copied to the clipboard ? say lots of banner text with a supprt url among it. selectingthe whole block only selects the useful url. ignorable by the end user of course * mouse double-click-to-select should grow the selection. terminal output often needs to be cutnpasted into other apps * snapshot the offscreen buffer somehow ? less somefile.txt... exit... rm somefile.txt... oops gone for all time including scrollback * sane modern defaults. Ctrl-S freezes terminal ?!? I know this a bash thing
setopt -w checkwinsize. why is this not on by default ? |
|