8 Commits

Author	SHA1	Message	Date
David Rosca	68c30781bb	VerticalTabs: Show tooltips for tabs	2018-02-04 17:18:27 +01:00
David Rosca	a1101c129c	VerticalTabs: Move scrollbar to the left	2018-02-04 17:18:19 +01:00
David Rosca	805c23ddb9	VerticalTabs: Expand subtree when new tab is inserted	2018-02-04 17:18:13 +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	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