Upgraded ACE editor to 4th Nov 2012 build - https://github.com/ajaxorg/ace-builds/tree/86abb02339499ac96f95649ad5e088e66b6b9a9c