Example #1
0
	public onConfigurationChanged(e: viewEvents.ViewConfigurationChangedEvent): boolean {
		if (e.lineHeight) {
			this._overviewRuler.setLineHeight(this._context.configuration.editor.lineHeight, true);
		}

		if (e.pixelRatio) {
			this._overviewRuler.setPixelRatio(this._context.configuration.editor.pixelRatio, true);
		}

		return true;
	}
Example #2
0
	public onConfigurationChanged(e: viewEvents.ViewConfigurationChangedEvent): boolean {
		if (e.lineHeight) {
			this._overviewRuler.setLineHeight(this._context.configuration.editor.lineHeight, true);
			return true;
		}

		if (e.viewInfo.canUseTranslate3d) {
			this._overviewRuler.setCanUseTranslate3d(this._context.configuration.editor.viewInfo.canUseTranslate3d, true);
			return true;
		}

		return false;
	}
Example #3
0
	public onConfigurationChanged(e:EditorCommon.IConfigurationChangedEvent): boolean {
		if (e.lineHeight) {
			this._overviewRuler.setLineHeight(this._context.configuration.editor.lineHeight, true);
			return true;
		}
		return false;
	}
Example #4
0
	public setZones(zones:EditorBrowser.IOverviewRulerZone[]): void {
		this._overviewRuler.setZones(zones, true);
	}
Example #5
0
	public setLayout(position:EditorCommon.IOverviewRulerPosition): void {
		this._overviewRuler.setLayout(position, true);
	}
Example #6
0
	public getDomNode(): HTMLElement {
		return this._overviewRuler.getDomNode();
	}
Example #7
0
	public onScrollHeightChanged(scrollHeight:number): boolean {
		this._overviewRuler.setScrollHeight(scrollHeight, true);
		return true;
	}
Example #8
0
	public dispose(): void {
		this._context.removeEventHandler(this);
		this._overviewRuler.dispose();
	}
Example #9
0
	public setZones(zones:OverviewRulerZone[]): void {
		this._overviewRuler.setZones(zones, true);
	}
Example #10
0
	public setLayout(position:OverviewRulerPosition): void {
		this._overviewRuler.setLayout(position, true);
	}