2 commits

Author	SHA1	Message	Date
tibbi	6f9265a8f4	show all tabs, if the user selects none of them	2018-07-30 21:11:42 +02:00
tibbi	dbf3b09b26	add a settings item for managing visible tabs	2018-07-30 20:58:02 +02:00