4 commits

Author	SHA1	Message	Date
zadam	bfc61f8b36	tab bar is automatically hidden for only one tab	2019-05-07 22:14:35 +02:00
zadam	aef0e552a0	ctrl+tab and ctrl+shift+tab can be used to switch tabs	2019-05-07 21:04:07 +02:00
zadam	0d11cadc18	tabs wip	2019-05-02 22:24:43 +02:00
zadam	3ccf553fda	initial experiments with tabs	2019-04-30 22:31:12 +02:00