3 Commits

Author	SHA1	Message	Date
David Rosca	bbbe136346	VerticalTabs: Handle Ctrl+Tab switching tabs in tree order	2018-02-04 17:21:50 +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