other impl of editor (not working now) / bug in js extensions