Brice Maron 7e34452746 Little trick to avoid editor loading twice on double click		2011-10-19 22:42:44 +02:00
..
aceeditor	Editor now loads on top of files app.	2011-10-01 22:48:00 +01:00
editor.js	Little trick to avoid editor loading twice on double click	2011-10-19 22:42:44 +02:00