Bruno Windels fee30d4482 adjust prop in HeaderButton		2019-04-11 18:32:38 +02:00
..
structures	remove hacks, now that emitting show_right_panel is centralized	2019-04-10 13:22:31 +02:00
views	adjust prop in HeaderButton	2019-04-11 18:32:38 +02:00