David Rosca c62b41d3d7 Fix tabbar buttons to have equal height as tabs in Windows theme		2018-01-11 19:46:11 +01:00
..
breathe	NavigationBar: Add support for badge text in tool buttons	2018-01-11 19:36:49 +01:00
chrome	Use tabPadding property in Windows theme	2018-01-11 19:44:54 +01:00
linux	Linux theme improvements	2018-01-11 19:45:12 +01:00
mac	Use tabPadding property in Windows theme	2018-01-11 19:44:54 +01:00
windows	Fix tabbar buttons to have equal height as tabs in Windows theme	2018-01-11 19:46:11 +01:00