Sun, 09 Oct 2011 23:31:50 +0200merge
Edouard Tisserant [Sun, 09 Oct 2011 23:31:50 +0200] rev 570
merge

Sun, 09 Oct 2011 23:31:13 +0200Changed F5 shortcut to CTRL+R for refresh
Edouard Tisserant [Sun, 09 Oct 2011 23:31:13 +0200] rev 569
Changed F5 shortcut to CTRL+R for refresh

Sun, 09 Oct 2011 20:10:36 +0200Fix bug when opening another project while current edited project has at least one tab opened
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