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 26 27
class TraitRenderer<T, D> implements IRenderer<T, ITraitTemplateData<D>>
{
	private elements: { [id: string]: T };

	constructor(
J
Joao Moreno 已提交
28
		private controller: Trait,
J
Joao Moreno 已提交
29 30 31 32 33 34 35 36 37 38 39 40
		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 已提交
41
	renderElement(element: T, index: number, templateData: ITraitTemplateData<D>): void {
J
Joao Moreno 已提交
42
		DOM.toggleClass(templateData.container, this.controller.trait, this.controller.contains(index));
J
Joao Moreno 已提交
43
		this.renderer.renderElement(element, index, templateData.data);
J
Joao Moreno 已提交
44 45 46 47 48 49 50
	}

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

J
Joao Moreno 已提交
51
class Trait implements IDisposable {
J
Joao Moreno 已提交
52

J
Joao Moreno 已提交
53
	private indexes: number[];
J
Joao Moreno 已提交
54

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

J
Joao Moreno 已提交
58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75
	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 已提交
76
		this._onChange.fire({ indexes });
J
Joao Moreno 已提交
77 78 79 80 81 82
	}

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

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

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

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

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

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

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

J
Joao Moreno 已提交
112 113 114 115 116 117 118 119 120 121 122 123
	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 已提交
124
	wrapRenderer<T, D>(renderer: IRenderer<T, D>): IRenderer<T, ITraitTemplateData<D>> {
J
Joao Moreno 已提交
125 126
		return new TraitRenderer<T, D>(this, renderer);
	}
J
Joao Moreno 已提交
127 128 129 130 131

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

J
Joao Moreno 已提交
134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154
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 已提交
155 156
export class List<T> implements IDisposable {

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

J
Joao Moreno 已提交
162 163 164 165 166 167 168 169 170 171 172 173 174 175
	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 已提交
176 177 178
	constructor(
		container: HTMLElement,
		delegate: IDelegate<T>,
J
Joao Moreno 已提交
179
		renderers: IRenderer<T, any>[]
J
Joao Moreno 已提交
180
	) {
J
Joao Moreno 已提交
181 182
		this.focus = new Trait('focused');
		this.selection = new Trait('selected');
J
Joao Moreno 已提交
183 184 185 186 187 188 189 190

		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 已提交
191
		this.controller = new Controller(this, this.view);
J
Joao Moreno 已提交
192 193 194
	}

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

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

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

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

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

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

	selectPrevious(n = 1, loop = false): void {
		if (this.length === 0) return;
		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 已提交
229
		this.setSelection(Math.max(index, 0));
J
Joao Moreno 已提交
230 231
	}

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

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

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

J
Joao Moreno 已提交
252 253 254 255 256 257 258 259 260 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 295 296
	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();
			this.view.setScrollTop(previousScrollTop + this.view.renderHeight);

			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 已提交
297 298 299 300
	getFocus(): T[] {
		return this.focus.get().map(i => this.view.element(i));
	}

J
Joao Moreno 已提交
301 302 303 304 305 306 307 308 309 310
	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 已提交
311
			const m = elementHeight - this.view.renderHeight;
J
Joao Moreno 已提交
312 313
			this.view.setScrollTop(m * relativeTop + elementTop);
		} else {
J
Joao Moreno 已提交
314
			const viewItemBottom = elementTop + elementHeight;
J
Joao Moreno 已提交
315
			const wrapperBottom = scrollTop + this.view.renderHeight;
J
Joao Moreno 已提交
316 317 318 319

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

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