docs: function(types) {
  			if (textUtil.compare(this._overviewAnnotationTypesVisible, types)) return;
  			this._overviewAnnotationTypesVisible = types;
  			if (!this._overviewRuler || !this._textView || !this._overviewRulerVisible) { return; }
  			this._overviewRuler.setAnnotationTypeVisible(types);
  			this._textView.redrawLines(0, undefined, this._overviewRuler);
  		}