rhin123
280a9a2f34
Terminal: Clear selection if we type behind/inside it
2019-08-25 10:44:31 +02:00
Andreas Kling
1ca6adee90
Terminal: Allow selecting words by double-clicking them
...
Bonus feature: also allow selecting the whitespace in-between words by
double-clicking that. :^)
2019-08-22 19:59:27 +02:00
Andreas Kling
c106ec4719
Terminal: Allow scrolling through terminal history with the mouse wheel
...
Fixes #470 .
2019-08-20 20:12:31 +02:00
Andreas Kling
64f16c141d
Terminal: Implement basic history scrollback
...
This code needs some optimization work to reduce the amount of repaints
but the history feature basically works, which is cool :^)
Fixes #431 .
2019-08-19 19:15:36 +02:00
Andreas Kling
7cc9a18c39
Terminal: Only repaint the lines that actually changed
...
This optimization was broken since who-knows-when. Now we once again do
our best to only repaint the lines that had the "dirty" flag set.
This dramatically reduces the amount of work done by an idle Terminal
since the cursor blinking won't redraw the whole window anymore. :^)
2019-08-13 13:57:04 +02:00
Andreas Kling
ce6463ba76
Terminal: Clip to the paint event rect
...
We should try to avoid painting any more than what we're asked to.
2019-08-13 13:45:58 +02:00
Andreas Kling
178788f19a
Terminal: Rename Terminal => TerminalWidget
...
This makes it a bit less confusing which is what between TerminalWidget
and VT::Terminal.
2019-08-13 13:45:48 +02:00
