Function ctor

GUI/codemirror/lib/codemirror.js:7034–7034

()

      inst = Object.create(base);
    } else {
      var ctor = function() {};
      ctor.prototype = base;
      inst = new ctor();
    }