5 commits

Author	SHA1	Message	Date
Andreas Kling	b04f08ba48	Shell: Support home/end keys for line editing.	2019-05-07 05:03:21 +02:00
Andreas Kling	d53941a466	Shell: Support basic line editing with left/right arrow keys.	2019-05-07 04:17:05 +02:00
Andreas Kling	b860da3ea5	Shell: Ignore tab key for now.	2019-05-07 02:55:56 +02:00
Andreas Kling	ad1c3c748f	Shell: Allow browsing history with up/down arrow keys.	2019-05-07 02:50:15 +02:00
Andreas Kling	ba7364b43b	Shell: Move line editing to a separate class. ... To be clear, there isn't really any line editing yet. But there is going to be, so let's have it in its own class.	2019-05-07 01:39:41 +02:00