docs: function Editor(options) {
  		options = options || {};
  		BaseEditor.call(this, options);
  		this._textViewFactory = options.textViewFactory;
  		this._undoStackFactory = options.undoStackFactory;
  		this._textDNDFactory = options.textDNDFactory;
  		this._annotationFactory = options.annotationFactory;
  		this._zoomRulerFactory = options.zoomRulerFactory;
  		this._foldingRulerFactory = options.foldingRulerFactory;
  		this._lineNumberRulerFactory = options.lineNumberRulerFactory;
  		this._contentAssistFactory = options.contentAssistFactory;
  		this._keyBindingFactory = options.keyBindingFactory;
  		this._hoverFactory = options.hoverFactory;
  		this._syntaxHighlighter = options.syntaxHighlighter;
  		this._annotationStyler = null;
  		this._annotationModel = null;
  		this._annotationRuler = null;
  		this._lineNumberRuler = null;
  		this._overviewRuler = null;
  		this._zoomRuler = null;
  		this._foldingRuler = null;
  		this._contentAssist = null;
  	}