72 changed files with
72 additions and
72 deletions
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
@ -14,7 +14,7 @@
|
|
|
|
|
* The Original Code is Ajax.org Code Editor (ACE).
|
|
|
|
|
*
|
|
|
|
|
* The Initial Developer of the Original Code is
|
|
|
|
|
* Ajax.org Services B.V.
|
|
|
|
|
* Ajax.org B.V.
|
|
|
|
|
* Portions created by the Initial Developer are Copyright (C) 2010
|
|
|
|
|
* the Initial Developer. All Rights Reserved.
|
|
|
|
|
*
|
|
|
|
|
|