Simon Vieille 5d0e3e70a9 [fix] When reloading, current pane is kept		2018-02-07 15:32:23 +01:00
..
main.js	[fix] When reloading, current pane is kept	2018-02-07 15:32:23 +01:00