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
..
breathe	NavigationBar: Add Tools button	2018-01-11 19:25:54 +01:00
chrome	NavigationBar: Add Tools button	2018-01-11 19:25:54 +01:00
linux	NavigationBar: Add Tools button	2018-01-11 19:25:54 +01:00
mac	NavigationBar: Add Tools button	2018-01-11 19:25:54 +01:00
windows	NavigationBar: Add Tools button	2018-01-11 19:25:54 +01:00