Edouard Tisserant [Sun, 09 Oct 2011 23:31:50 +0200] rev 570
merge
Edouard Tisserant [Sun, 09 Oct 2011 23:31:13 +0200] rev 569
Changed F5 shortcut to CTRL+R for refresh
laurent [Sun, 09 Oct 2011 20:10:36 +0200] rev 568
Fix bug when opening another project while current edited project has at least one tab opened