diff --git a/src/vs/base/browser/ui/list/listWidget.ts b/src/vs/base/browser/ui/list/listWidget.ts index 01bee5611f5..3783091d12b 100644 --- a/src/vs/base/browser/ui/list/listWidget.ts +++ b/src/vs/base/browser/ui/list/listWidget.ts @@ -396,6 +396,8 @@ const DefaultOptions: IListOptions = { mouseSupport: true }; +// TODO@Joao: move these utils into a SortedArray class + function getContiguousRangeContaining(range: number[], value: number): number[] { const index = range.indexOf(value);