listWidget.ts 9.0 KB
Newer Older
J
Joao Moreno 已提交
1 2 3 4 5 6
/*---------------------------------------------------------------------------------------------
 *  Copyright (c) Microsoft Corporation. All rights reserved.
 *  Licensed under the MIT License. See License.txt in the project root for license information.
 *--------------------------------------------------------------------------------------------*/

import 'vs/css!./list';
J
Joao Moreno 已提交
7
import { IDisposable, dispose, disposeAll } from 'vs/base/common/lifecycle';
J
Joao Moreno 已提交
8
import { isNumber } from 'vs/base/common/types';
J
Joao Moreno 已提交
9
import * as DOM from 'vs/base/browser/dom';
J
Joao Moreno 已提交
10 11
import Event, { Emitter, mapEvent } from 'vs/base/common/event';
import { IDelegate, IRenderer, IListMouseEvent, IFocusChangeEvent, ISelectionChangeEvent } from './list';
J
Joao Moreno 已提交
12 13 14 15 16 17 18
import { ListView } from './listView';

interface ITraitTemplateData<D> {
	container: HTMLElement;
	data: D;
}

J
Joao Moreno 已提交
19 20 21 22
interface ITraitChangeEvent {
	indexes: number[];
}

J
Joao Moreno 已提交
23 24 25
class TraitRenderer<T, D> implements IRenderer<T, ITraitTemplateData<D>>
{
	constructor(
J
Joao Moreno 已提交
26
		private controller: Trait,
J
Joao Moreno 已提交
27 28 29 30 31 32 33 34 35 36 37 38
		private renderer: IRenderer<T,D>
	) {}

	public get templateId(): string {
		return this.renderer.templateId;
	}

	renderTemplate(container: HTMLElement): ITraitTemplateData<D> {
		const data = this.renderer.renderTemplate(container);
		return { container, data };
	}

J
Joao Moreno 已提交
39
	renderElement(element: T, index: number, templateData: ITraitTemplateData<D>): void {
J
Joao Moreno 已提交
40
		DOM.toggleClass(templateData.container, this.controller.trait, this.controller.contains(index));
J
Joao Moreno 已提交
41
		this.renderer.renderElement(element, index, templateData.data);
J
Joao Moreno 已提交
42 43 44 45 46 47 48
	}

	disposeTemplate(templateData: ITraitTemplateData<D>): void {
		return this.renderer.disposeTemplate(templateData.data);
	}
}

J
Joao Moreno 已提交
49
class Trait implements IDisposable {
J
Joao Moreno 已提交
50

J
Joao Moreno 已提交
51
	private indexes: number[];
J
Joao Moreno 已提交
52

J
Joao Moreno 已提交
53 54 55
	private _onChange = new Emitter<ITraitChangeEvent>();
	get onChange() { return this._onChange.event; }

J
Joao Moreno 已提交
56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
	constructor(private _trait: string) {
		this.indexes = [];
	}

	splice(start: number, deleteCount: number, insertCount: number): void {
		const diff = insertCount - deleteCount;
		const end = start + deleteCount;
		const indexes = [];

		for (const index of indexes) {
			if (index >= start && index < end) {
				continue;
			}

			indexes.push(index > start ? index + diff : index);
		}

		this.indexes = indexes;
J
Joao Moreno 已提交
74
		this._onChange.fire({ indexes });
J
Joao Moreno 已提交
75 76 77 78 79 80
	}

	get trait(): string {
		return this._trait;
	}

J
Joao Moreno 已提交
81
	set(...indexes: number[]): number[] {
J
Joao Moreno 已提交
82 83
		const result = this.indexes;
		this.indexes = indexes;
J
Joao Moreno 已提交
84
		this._onChange.fire({ indexes });
J
Joao Moreno 已提交
85
		return result;
J
Joao Moreno 已提交
86 87
	}

J
Joao Moreno 已提交
88 89 90 91
	get(): number[] {
		return this.indexes;
	}

J
Joao Moreno 已提交
92 93 94
	add(index: number): void {
		if (this.contains(index)) {
			return;
J
Joao Moreno 已提交
95
		}
J
Joao Moreno 已提交
96 97

		this.indexes.push(index);
J
Joao Moreno 已提交
98
		this._onChange.fire({ indexes: this.indexes });
J
Joao Moreno 已提交
99 100
	}

J
Joao Moreno 已提交
101 102
	remove(index: number): void {
		this.indexes = this.indexes.filter(i => i === index);
J
Joao Moreno 已提交
103
		this._onChange.fire({ indexes: this.indexes });
J
Joao Moreno 已提交
104 105
	}

J
Joao Moreno 已提交
106 107
	contains(index: number): boolean {
		return this.indexes.some(i => i === index);
J
Joao Moreno 已提交
108 109
	}

J
Joao Moreno 已提交
110 111 112 113 114 115 116 117 118 119 120 121
	next(n: number): void {
		let index = this.indexes.length ? this.indexes[0] : 0;
		index = Math.min(index + n, this.indexes.length);
		this.set(index);
	}

	previous(n: number): void {
		let index = this.indexes.length ? this.indexes[0] : this.indexes.length - 1;
		index = Math.max(index - n, 0);
		this.set(index);
	}

J
Joao Moreno 已提交
122
	wrapRenderer<T, D>(renderer: IRenderer<T, D>): IRenderer<T, ITraitTemplateData<D>> {
J
Joao Moreno 已提交
123 124
		return new TraitRenderer<T, D>(this, renderer);
	}
J
Joao Moreno 已提交
125 126 127 128 129

	dispose() {
		this.indexes = null;
		this._onChange = dispose(this._onChange);
	}
J
Joao Moreno 已提交
130 131
}

J
Joao Moreno 已提交
132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152
class Controller<T> implements IDisposable {

	private toDispose: IDisposable[];

	constructor(
		private list: List<T>,
		private view: ListView<T>
	) {
		this.toDispose = [];
		this.toDispose.push(view.addListener('click', e => this.onClick(e)));
	}

	private onClick(e: IListMouseEvent<T>) {
		this.list.setSelection(e.index);
	}

	dispose() {
		this.toDispose = disposeAll(this.toDispose);
	}
}

J
Joao Moreno 已提交
153 154
export class List<T> implements IDisposable {

J
Joao Moreno 已提交
155 156
	private focus: Trait;
	private selection: Trait;
J
Joao Moreno 已提交
157
	private view: ListView<T>;
J
Joao Moreno 已提交
158
	private controller: Controller<T>;
J
Joao Moreno 已提交
159

J
Joao Moreno 已提交
160 161 162 163 164 165 166 167 168 169 170 171 172 173
	get onFocusChange(): Event<IFocusChangeEvent<T>> {
		return mapEvent(this.focus.onChange, e => ({
			elements: e.indexes.map(i => this.view.element(i)),
			indexes: e.indexes
		}));
	}

	get onSelectionChange(): Event<ISelectionChangeEvent<T>> {
		return mapEvent(this.selection.onChange, e => ({
			elements: e.indexes.map(i => this.view.element(i)),
			indexes: e.indexes
		}));
	}

J
Joao Moreno 已提交
174 175 176
	constructor(
		container: HTMLElement,
		delegate: IDelegate<T>,
J
Joao Moreno 已提交
177
		renderers: IRenderer<T, any>[]
J
Joao Moreno 已提交
178
	) {
J
Joao Moreno 已提交
179 180
		this.focus = new Trait('focused');
		this.selection = new Trait('selected');
J
Joao Moreno 已提交
181 182 183 184 185 186 187 188

		renderers = renderers.map(r => {
			r = this.focus.wrapRenderer(r);
			r = this.selection.wrapRenderer(r);
			return r;
		});

		this.view = new ListView(container, delegate, renderers);
J
Joao Moreno 已提交
189
		this.controller = new Controller(this, this.view);
J
Joao Moreno 已提交
190 191 192
	}

	splice(start: number, deleteCount: number, ...elements: T[]): void {
J
Joao Moreno 已提交
193 194 195
		this.focus.splice(start, deleteCount, elements.length);
		this.selection.splice(start, deleteCount, elements.length);
		this.view.splice(start, deleteCount, ...elements);
J
Joao Moreno 已提交
196 197 198 199 200 201
	}

	get length(): number {
		return this.view.length;
	}

J
Joao Moreno 已提交
202 203 204 205
	get contentHeight(): number {
		return this.view.getScrollHeight();
	}

J
Joao Moreno 已提交
206 207 208 209
	layout(height?: number): void {
		this.view.layout(height);
	}

J
Joao Moreno 已提交
210
	setSelection(...indexes: number[]): void {
J
Joao Moreno 已提交
211
		indexes = indexes.concat(this.selection.set(...indexes));
J
Joao Moreno 已提交
212
		indexes.forEach(i => this.view.splice(i, 1, this.view.element(i)));
J
Joao Moreno 已提交
213 214
	}

J
Joao Moreno 已提交
215
	selectNext(n = 1, loop = false): void {
J
Joao Moreno 已提交
216
		if (this.length === 0) { return; }
J
Joao Moreno 已提交
217 218
		const selection = this.selection.get();
		let index = selection.length > 0 ? selection[0] + n : 0;
J
Joao Moreno 已提交
219
		this.setSelection(loop ? index % this.length : Math.min(index, this.length - 1));
J
Joao Moreno 已提交
220 221 222
	}

	selectPrevious(n = 1, loop = false): void {
J
Joao Moreno 已提交
223
		if (this.length === 0) { return; }
J
Joao Moreno 已提交
224 225 226
		const selection = this.selection.get();
		let index = selection.length > 0 ? selection[0] - n : 0;
		if (loop && index < 0) index = this.length + (index % this.length);
J
Joao Moreno 已提交
227
		this.setSelection(Math.max(index, 0));
J
Joao Moreno 已提交
228 229
	}

J
Joao Moreno 已提交
230
	setFocus(...indexes: number[]): void {
J
Joao Moreno 已提交
231
		indexes = indexes.concat(this.focus.set(...indexes));
J
Joao Moreno 已提交
232
		indexes.forEach(i => this.view.splice(i, 1, this.view.element(i)));
J
Joao Moreno 已提交
233 234
	}

J
Joao Moreno 已提交
235
	focusNext(n = 1, loop = false): void {
J
Joao Moreno 已提交
236
		if (this.length === 0) { return; }
J
Joao Moreno 已提交
237 238
		const focus = this.focus.get();
		let index = focus.length > 0 ? focus[0] + n : 0;
J
Joao Moreno 已提交
239
		this.setFocus(loop ? index % this.length : Math.min(index, this.length - 1));
J
Joao Moreno 已提交
240 241 242
	}

	focusPrevious(n = 1, loop = false): void {
J
Joao Moreno 已提交
243
		if (this.length === 0) { return; }
J
Joao Moreno 已提交
244 245
		const focus = this.focus.get();
		let index = focus.length > 0 ? focus[0] - n : 0;
J
Joao Moreno 已提交
246
		if (loop && index < 0) { index = (this.length + (index % this.length)) % this.length; }
J
Joao Moreno 已提交
247
		this.setFocus(Math.max(index, 0));
J
Joao Moreno 已提交
248 249
	}

J
Joao Moreno 已提交
250 251 252 253 254 255 256 257 258 259
	focusNextPage(): void {
		let lastPageIndex = this.view.indexAt(this.view.getScrollTop() + this.view.renderHeight);
		lastPageIndex = lastPageIndex === 0 ? 0 : lastPageIndex - 1;
		const lastPageElement = this.view.element(lastPageIndex);
		const currentlyFocusedElement = this.getFocus()[0];

		if (currentlyFocusedElement !== lastPageElement) {
			this.setFocus(lastPageIndex);
		} else {
			const previousScrollTop = this.view.getScrollTop();
J
Joao Moreno 已提交
260
			this.view.setScrollTop(previousScrollTop + this.view.renderHeight - this.view.elementHeight(lastPageIndex));
J
Joao Moreno 已提交
261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294

			if (this.view.getScrollTop() !== previousScrollTop) {
				// Let the scroll event listener run
				setTimeout(() => this.focusNextPage(), 0);
			}
		}
	}

	focusPreviousPage(): void {
		let firstPageIndex:number;
		const scrollTop = this.view.getScrollTop();

		if (scrollTop === 0) {
			firstPageIndex = this.view.indexAt(scrollTop);
		} else {
			firstPageIndex = this.view.indexAfter(scrollTop - 1);
		}

		const firstPageElement = this.view.element(firstPageIndex);
		const currentlyFocusedElement = this.getFocus()[0];

		if (currentlyFocusedElement !== firstPageElement) {
			this.setFocus(firstPageIndex);
		} else {
			const previousScrollTop = scrollTop;
			this.view.setScrollTop(scrollTop - this.view.renderHeight);

			if (this.view.getScrollTop() !== previousScrollTop) {
				// Let the scroll event listener run
				setTimeout(() => this.focusPreviousPage(), 0);
			}
		}
	}

J
Joao Moreno 已提交
295 296 297 298
	getFocus(): T[] {
		return this.focus.get().map(i => this.view.element(i));
	}

J
Joao Moreno 已提交
299 300 301 302 303 304 305 306 307 308
	reveal(index: number, relativeTop?: number): void {
		const scrollTop = this.view.getScrollTop();
		const elementTop = this.view.elementTop(index);
		const elementHeight = this.view.elementHeight(index);

		if (isNumber(relativeTop)) {
			relativeTop = relativeTop < 0 ? 0 : relativeTop;
			relativeTop = relativeTop > 1 ? 1 : relativeTop;

			// y = mx + b
J
Joao Moreno 已提交
309
			const m = elementHeight - this.view.renderHeight;
J
Joao Moreno 已提交
310 311
			this.view.setScrollTop(m * relativeTop + elementTop);
		} else {
J
Joao Moreno 已提交
312
			const viewItemBottom = elementTop + elementHeight;
J
Joao Moreno 已提交
313
			const wrapperBottom = scrollTop + this.view.renderHeight;
J
Joao Moreno 已提交
314 315 316 317

			if (elementTop < scrollTop) {
				this.view.setScrollTop(elementTop);
			} else if (viewItemBottom >= wrapperBottom) {
J
Joao Moreno 已提交
318
				this.view.setScrollTop(viewItemBottom - this.view.renderHeight);
J
Joao Moreno 已提交
319 320 321 322
			}
		}
	}

J
Joao Moreno 已提交
323 324
	dispose(): void {
		this.view = dispose(this.view);
J
Joao Moreno 已提交
325 326
		this.focus = dispose(this.focus);
		this.selection = dispose(this.selection);
J
Joao Moreno 已提交
327 328
	}
}