3 commits

Author	SHA1	Message	Date
Derk-Jan Hartman	b50d6d2fc7	Revert "Update ACE to Jan 17, 2014" ... The update throws an error for the workers. Better we revert this for now. This reverts commit c2eed4f0e6. Change-Id: I7090b833dc41a25a2c360113c10717055c003330	2014-01-22 16:29:24 -08:00
Derk-Jan Hartman	c2eed4f0e6	Update ACE to Jan 17, 2014 ... This fixes a breakage with } pairing Also adds support for CORS loading of the workers. Bug: 60156 Change-Id: I7333a107b49bb6aec0f91f443f5823e82a327fab	2014-01-18 01:49:45 +01:00
Derk-Jan Hartman	05e6be051c	CodeEditor: Update to package 12.02.2013 (December 2013) ... ACE defaults to a white background now. I have no preference in this, but it is caused by a change in the TextMate theme. There is a bugreport (Bug 55423) about the old blue background. This fixes an annoying problem with Safari 7, where characters are no longer properly measured by ACE. https://github.com/ajaxorg/ace/issues/1534 Fixes double-click to select: https://github.com/ajaxorg/ace/issues/956 Set proper basePath so that require works, allowing conditional loading of ACE resources. Need for Find to work after this update Bug: 55423 Bug: 45876 Bug: 58521 Change-Id: Ia64b67b4553f77c6ba3d2aefec4bab62d111deb7	2014-01-02 11:11:32 +01:00