Christopher Vagnetoft 19ba6a9bee Improve tail line, fix edit box ...

* Edit box now supports the usual keys; left/right plus home/end, and does
  the appropriate scrolling.
* Tail line is now a top bar.
* Added option to toggle tail bar, but not bound to any key.

2024-10-03 17:57:41 +02:00

8.6 KiB

Raw Blame History

View Raw