David Rosca e33174100e NavigationBar: Bring back exit fullscreen button ... This time it is configurable and hidden by default.		2018-01-11 19:46:44 +01:00
..
exit-fullscreen.svg	NavigationBar: Bring back exit fullscreen button	2018-01-11 19:46:44 +01:00
tools-rtl.svg	Fix theme issues with RTL	2018-01-11 19:44:20 +01:00
tools.svg	NavigationBar: Add Tools button	2018-01-11 19:25:54 +01:00