7 Commits

Author	SHA1	Message	Date
j433866	5a52e5e9b3	Remove new lines from input tab header	2019-06-10 13:08:03 +01:00
j433866	8c2cc5b6d2	Improve removing tabs experience	2019-06-07 13:52:04 +01:00
j433866	97f86af6b9	Improve speed of changing input tabs. ... Handle not finding an active tab	2019-06-06 16:53:58 +01:00
j433866	c2087f6d5f	Move tab logic into a new TabWaiter	2019-06-06 16:33:35 +01:00
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