8 Commits

Author	SHA1	Message	Date
David Rosca	4801721722	Use tabPadding property in Windows theme	2018-01-11 19:44:54 +01:00
David Rosca	ceb087a4c2	Fix last cases of wrong tab borders in Windows theme	2018-01-11 19:44:25 +01:00
David Rosca	0febcb72cd	Fix theme issues with RTL	2018-01-11 19:44:20 +01:00
David Rosca	ba781135a8	Revamp Windows theme so it doesn't look like it is from 1999 ... Windows theme is now also high-dpi ready. See #2418	2018-01-11 19:44:14 +01:00
David Rosca	15a2afb4b6	NavigationBar: Add support for badge text in tool buttons	2018-01-11 19:36:49 +01:00
David Rosca	0b8a693bca	NavigationBar: Add Tools button ... It now contains toolbars and sidebars menus and configure action that doesn't work yet.	2018-01-11 19:25:54 +01:00
David Rosca	2e7a77a6b4	NavigationBar: Remove exit fullscreen button	2018-01-11 19:24:58 +01:00
David Rosca	02f7c68ec2	Move themes to root source directory + remove bin directory	2017-09-26 10:49:39 +02:00