bundles/org.eclipse.orion.client.editor/web/orion/editor/mirror.js
function() {
			if (this.modeApplier) {
				this.modeApplier.removeEventListener("Highlight", this.listener.onHighlight);
				this.modeApplier.destroy();
			}
			if (this.annotationModel) {
				// remove annotation listeners
			}
			if (this.textView) {
				this.textView.removeEventListener("LineStyle", this.listener.onLineStyle);
				this.textView.removeEventListener("Destroy", this.listener.onDestroy);
			}
			this.textView = null;
			this.annotationModel = null;
			this.modeApplier = null;
			this.listener = null;
		}
function() {
			if (this.modeApplier) {
				this.modeApplier.removeEventListener("Highlight", this.listener.onHighlight);
				this.modeApplier.destroy();
			}
			if (this.annotationModel) {
				// remove annotation listeners
			}
			if (this.textView) {
				this.textView.removeEventListener("LineStyle", this.listener.onLineStyle);
				this.textView.removeEventListener("Destroy", this.listener.onDestroy);
			}
			this.textView = null;
			this.annotationModel = null;
			this.modeApplier = null;
			this.listener = null;
		}
function ( ) { if ( this . modeApplier ) { this . modeApplier . removeEventListener ( "Highlight" , this . listener . onHighlight ) ; this . modeApplier . destroy ( ) ; } if ( this . annotationModel ) { // remove annotation listeners } if ( this . textView ) { this . textView . removeEventListener ( "LineStyle" , this . listener . onLineStyle ) ; this . textView . removeEventListener ( "Destroy" , this . listener . onDestroy ) ; } this . textView = null ; this . annotationModel = null ; this . modeApplier = null ; this . listener = null ; }
Deactivates this styler and removes its listeners.
Deactivates this styler and removes its listeners .