- added and fixed some bugs in ACE editor; - more minor changes