Remove unused members

src/vs/base/parts/tree/browser/treeImpl.ts

@@ -64,9 +64,6 @@ const defaultStyles: _.ITreeStyles = {
 export class Tree extends Events.EventEmitter implements _.ITree {
 
 	private container: HTMLElement;
-	// @ts-ignore unused property
-	private configuration: _.ITreeConfiguration;
-	private options: _.ITreeOptions;
 
 	private context: _.ITreeContext;
 	private model: Model.TreeModel;
@@ -88,16 +85,14 @@ export class Tree extends Events.EventEmitter implements _.ITree {
 		this.toDispose.push(this._onDispose, this._onHighlightChange);
 
 		this.container = container;
-		this.configuration = configuration;
-		this.options = options;
-		mixin(this.options, defaultStyles, false);
-
-		this.options.twistiePixels = typeof this.options.twistiePixels === 'number' ? this.options.twistiePixels : 32;
-		this.options.showTwistie = this.options.showTwistie === false ? false : true;
-		this.options.indentPixels = typeof this.options.indentPixels === 'number' ? this.options.indentPixels : 12;
-		this.options.alwaysFocused = this.options.alwaysFocused === true ? true : false;
-		this.options.useShadows = this.options.useShadows === false ? false : true;
-		this.options.paddingOnRow = this.options.paddingOnRow === false ? false : true;
+		mixin(options, defaultStyles, false);
+
+		options.twistiePixels = typeof options.twistiePixels === 'number' ? options.twistiePixels : 32;
+		options.showTwistie = options.showTwistie === false ? false : true;
+		options.indentPixels = typeof options.indentPixels === 'number' ? options.indentPixels : 12;
+		options.alwaysFocused = options.alwaysFocused === true ? true : false;
+		options.useShadows = options.useShadows === false ? false : true;
+		options.paddingOnRow = options.paddingOnRow === false ? false : true;
 
 		this.context = new TreeContext(this, configuration, options);
 		this.model = new Model.TreeModel(this.context);

src/vs/base/parts/tree/browser/treeModel.ts

@@ -205,8 +205,6 @@ export class Item extends Events.EventEmitter {
 	public next: Item;
 	public firstChild: Item;
 	public lastChild: Item;
-	// @ts-ignore unused property
-	private userContent: HTMLElement;
 
 	private height: number;
 	private depth: number;
@@ -238,7 +236,6 @@ export class Item extends Events.EventEmitter {
 		this.firstChild = null;
 		this.lastChild = null;
 
-		this.userContent = null;
 		this.traits = {};
 		this.depth = 0;
 		this.expanded = this.context.dataSource.shouldAutoexpand && this.context.dataSource.shouldAutoexpand(this.context.tree, element);

src/vs/base/parts/tree/browser/treeView.ts

@@ -392,8 +392,6 @@ export class TreeView extends HeightMap {
 
 	private isRefreshing = false;
 	private refreshingPreviousChildrenIds: { [id: string]: string[] } = {};
-	// @ts-ignore unused property
-	private dragAndDropListeners: { (): void; }[];
 	private currentDragAndDropData: _.IDragAndDropData;
 	private currentDropElement: any;
 	private currentDropElementReaction: _.IDragOverReaction;
@@ -437,7 +435,6 @@ export class TreeView extends HeightMap {
 
 		this.modelListeners = [];
 		this.viewListeners = [];
-		this.dragAndDropListeners = [];
 
 		this.model = null;
 		this.items = {};

src/vs/editor/browser/controller/textAreaHandler.ts

@@ -54,8 +54,6 @@ export class TextAreaHandler extends ViewPart {
 
 	private readonly _viewController: ViewController;
 	private readonly _viewHelper: ITextAreaHandlerHelper;
-	// @ts-ignore unused property
-	private _pixelRatio: number;
 	private _accessibilitySupport: platform.AccessibilitySupport;
 	private _contentLeft: number;
 	private _contentWidth: number;
@@ -86,7 +84,6 @@ export class TextAreaHandler extends ViewPart {
 
 		const conf = this._context.configuration.editor;
 
-		this._pixelRatio = conf.pixelRatio;
 		this._accessibilitySupport = conf.accessibilitySupport;
 		this._contentLeft = conf.layoutInfo.contentLeft;
 		this._contentWidth = conf.layoutInfo.contentWidth;
@@ -306,9 +303,6 @@ export class TextAreaHandler extends ViewPart {
 		if (e.lineHeight) {
 			this._lineHeight = conf.lineHeight;
 		}
-		if (e.pixelRatio) {
-			this._pixelRatio = conf.pixelRatio;
-		}
 		if (e.accessibilitySupport) {
 			this._accessibilitySupport = conf.accessibilitySupport;
 			this._textAreaInput.writeScreenReaderContent('strategy changed');

src/vs/editor/browser/viewParts/rulers/rulers.ts

@@ -20,8 +20,6 @@ export class Rulers extends ViewPart {
 	public domNode: FastDomNode<HTMLElement>;
 	private _renderedRulers: FastDomNode<HTMLElement>[];
 	private _rulers: number[];
-	// @ts-ignore unused property
-	private _height: number;
 	private _typicalHalfwidthCharacterWidth: number;
 
 	constructor(context: ViewContext) {
@@ -32,7 +30,6 @@ export class Rulers extends ViewPart {
 		this.domNode.setClassName('view-rulers');
 		this._renderedRulers = [];
 		this._rulers = this._context.configuration.editor.viewInfo.rulers;
-		this._height = this._context.configuration.editor.layoutInfo.contentHeight;
 		this._typicalHalfwidthCharacterWidth = this._context.configuration.editor.fontInfo.typicalHalfwidthCharacterWidth;
 	}
 
@@ -45,7 +42,6 @@ export class Rulers extends ViewPart {
 	public onConfigurationChanged(e: viewEvents.ViewConfigurationChangedEvent): boolean {
 		if (e.viewInfo || e.layoutInfo || e.fontInfo) {
 			this._rulers = this._context.configuration.editor.viewInfo.rulers;
-			this._height = this._context.configuration.editor.layoutInfo.contentHeight;
 			this._typicalHalfwidthCharacterWidth = this._context.configuration.editor.fontInfo.typicalHalfwidthCharacterWidth;
 			return true;
 		}