2 commits

Author	SHA1	Message	Date
Joscha	5f28ff0ffd	Make editor a widget	2022-07-23 19:49:58 +02:00
Joscha	e188a99f2a	Implement simple single-line editor	2022-07-08 11:28:43 +02:00