5 Commits

Author	SHA1	Message	Date
David Rosca	072d3c28ee	VerticalTabs: Show pinned tabs in horizontal list above normal tabs	2018-02-04 17:18:01 +01:00
David Rosca	801c1845b5	Cleanups in TabTreeView	2018-02-04 17:16:19 +01:00
David Rosca	fc9f88ae67	VerticalTabs: Set scrolling per pixel	2018-02-04 17:15:57 +01:00
David Rosca	ebd2b6da51	VerticalTabs: Automatically scroll to current tab	2018-02-04 17:15:50 +01:00
David Rosca	66023d2dba	Add VerticalTabs plugin	2018-02-04 17:15:23 +01:00