javascript DRAKON Editor