8 Commits

Author	SHA1	Message	Date
David Rosca	62264501e2	VerticalTabs: Switch tabs with mouse wheel ... But only when there is no scrollbar in normal tabs view.	2018-02-04 17:21:54 +01:00
David Rosca	bbbe136346	VerticalTabs: Handle Ctrl+Tab switching tabs in tree order	2018-02-04 17:21:50 +01:00
David Rosca	e981f638de	VerticalTabs: Hide pinned tabs view when empty	2018-02-04 17:21:04 +01:00
David Rosca	8c96660852	VerticalTabs: Add new tab button	2018-02-04 17:20:56 +01:00
David Rosca	4ad6d6cda1	TabTreeModel: Only sync top-level tabs when closing window ... Otherwise reordering tabs is too distracting when tabbar is visible.	2018-02-04 17:18:39 +01:00
David Rosca	05bb94adfe	VerticalTabs: Correctly delete models when switching view type	2018-02-04 17:18:31 +01:00
David Rosca	072d3c28ee	VerticalTabs: Show pinned tabs in horizontal list above normal tabs	2018-02-04 17:18:01 +01:00
David Rosca	66023d2dba	Add VerticalTabs plugin	2018-02-04 17:15:23 +01:00