[MERGE] forward port branch 12.0 up to 84143a34b3

2019-02-21 15:37:19 +01:00
parent f945b1bcc2 84143a34b3
commit 1d2b6f1bef
151 changed files with 4372 additions and 1745 deletions
@@ -2911,6 +2911,7 @@ var AceEditor = DebouncedField.extend({
        if (this.aceEditor) {
            this.aceEditor.destroy();
        }
+        this._super.apply(this, arguments);
    },

    //--------------------------------------------------------------------------