53 Commits

Author	SHA1	Message	Date
j433866	98af95a6ce	Change pasting to keep cursor position. ... Move output scrolling to changeTab() instead of set()	2019-06-06 10:26:16 +01:00
j433866	39101610d5	Scroll I/O areas to the top when switching tabs	2019-06-06 09:33:51 +01:00
j433866	b77239fc15	Move waiters and workers into separate folders.	2019-06-06 09:09:48 +01:00