|
|
|
|
|
|
by dolmen
12 days ago
|
|
|
TUI is not so great for copying a multiline block of text displayed on the terminal when it is indented or shown in a boxed widget. I'm not saying that GUI are always better at allowing copying: this still requires the developer to design widgets that allow copying. |
|
|