suggest: dynamic height

src/vs/base/browser/ui/list/listWidget.ts

@@ -77,6 +77,10 @@ class TraitController {
 		return result;
 	}
 
+	get(): number[] {
+		return this.indexes;
+	}
+
 	add(index: number): void {
 		if (this.contains(index)) {
 			return;
@@ -145,6 +149,10 @@ export class List<T> implements IDisposable {
 		indexes.forEach(i => this.view.splice(i, 1, this.view.element(i)));
 	}
 
+	getFocus(): T[] {
+		return this.focus.get().map(i => this.view.element(i));
+	}
+
 	reveal(index: number, relativeTop?: number): void {
 		const scrollTop = this.view.getScrollTop();
 		const elementTop = this.view.elementTop(index);