This is fixed in trunk with revision 600. I've added two keyboard shortcuts for these functions, rather than cluttering up the context menu more. Ctrl-Shift-R resets the terminal Ctrl-Shift-G resets and clears the terminal.
Thanks for your report!
This is fixed in trunk with revision 600.
I've added two keyboard shortcuts for these functions, rather than cluttering up the context menu more.
Ctrl-Shift-R resets the terminal
Ctrl-Shift-G resets and clears the terminal.
Thanks for your report!