@codingame/monaco-vscode-api 1.79.11 → 1.79.13

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,6 +1,6 @@
1
1
  diff -urN -x '*.map' a/vs/base/browser/browser.js b/vs/base/browser/browser.js
2
- --- a/vs/base/browser/browser.js 2023-07-13 09:45:30.112864843 +0000
3
- +++ b/vs/base/browser/browser.js 2023-07-13 09:47:10.132946117 +0000
2
+ --- a/vs/base/browser/browser.js 2023-07-24 12:38:15.003683661 +0000
3
+ +++ b/vs/base/browser/browser.js 2023-07-24 12:39:54.578700965 +0000
4
4
  @@ -6,12 +6,40 @@
5
5
  import { Disposable, markAsSingleton } from '../common/lifecycle.js';
6
6
  class WindowManager {
@@ -82,8 +82,8 @@ diff -urN -x '*.map' a/vs/base/browser/browser.js b/vs/base/browser/browser.js
82
82
  + return (_a = navigator === null || navigator === void 0 ? void 0 : navigator.windowControlsOverlay) === null || _a === void 0 ? void 0 : _a.visible;
83
83
  +}
84
84
  diff -urN -x '*.map' a/vs/base/browser/defaultWorkerFactory.js b/vs/base/browser/defaultWorkerFactory.js
85
- --- a/vs/base/browser/defaultWorkerFactory.js 2023-07-13 09:45:30.116864841 +0000
86
- +++ b/vs/base/browser/defaultWorkerFactory.js 2023-07-13 09:47:10.132946117 +0000
85
+ --- a/vs/base/browser/defaultWorkerFactory.js 2023-07-24 12:38:15.003683661 +0000
86
+ +++ b/vs/base/browser/defaultWorkerFactory.js 2023-07-24 12:39:54.578700965 +0000
87
87
  @@ -3,8 +3,17 @@
88
88
  * Licensed under the MIT License. See License.txt in the project root for license information.
89
89
  *--------------------------------------------------------------------------------------------*/
@@ -103,8 +103,8 @@ diff -urN -x '*.map' a/vs/base/browser/defaultWorkerFactory.js b/vs/base/browser
103
103
  const monacoEnvironment = globalThis.MonacoEnvironment;
104
104
  if (monacoEnvironment) {
105
105
  diff -urN -x '*.map' a/vs/base/browser/dnd.js b/vs/base/browser/dnd.js
106
- --- a/vs/base/browser/dnd.js 2023-07-13 09:45:30.116864841 +0000
107
- +++ b/vs/base/browser/dnd.js 2023-07-13 09:47:10.132946117 +0000
106
+ --- a/vs/base/browser/dnd.js 2023-07-24 12:38:15.003683661 +0000
107
+ +++ b/vs/base/browser/dnd.js 2023-07-24 12:39:54.578700965 +0000
108
108
  @@ -1,4 +1,43 @@
109
109
  +/*---------------------------------------------------------------------------------------------
110
110
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -171,8 +171,8 @@ diff -urN -x '*.map' a/vs/base/browser/dnd.js b/vs/base/browser/dnd.js
171
171
  + }
172
172
  +}
173
173
  diff -urN -x '*.map' a/vs/base/browser/dom.js b/vs/base/browser/dom.js
174
- --- a/vs/base/browser/dom.js 2023-07-13 09:45:30.116864841 +0000
175
- +++ b/vs/base/browser/dom.js 2023-07-13 09:47:10.108946110 +0000
174
+ --- a/vs/base/browser/dom.js 2023-07-24 12:38:15.003683661 +0000
175
+ +++ b/vs/base/browser/dom.js 2023-07-24 12:39:54.542701383 +0000
176
176
  @@ -6,12 +6,15 @@
177
177
  import { BrowserFeatures } from './canIUse.js';
178
178
  import { StandardKeyboardEvent } from './keyboardEvent.js';
@@ -666,8 +666,8 @@ diff -urN -x '*.map' a/vs/base/browser/dom.js b/vs/base/browser/dom.js
666
666
  constructor(element, callbacks) {
667
667
  super();
668
668
  diff -urN -x '*.map' a/vs/base/browser/fastDomNode.js b/vs/base/browser/fastDomNode.js
669
- --- a/vs/base/browser/fastDomNode.js 2023-07-13 09:45:30.116864841 +0000
670
- +++ b/vs/base/browser/fastDomNode.js 2023-07-13 09:47:10.108946110 +0000
669
+ --- a/vs/base/browser/fastDomNode.js 2023-07-24 12:38:15.003683661 +0000
670
+ +++ b/vs/base/browser/fastDomNode.js 2023-07-24 12:39:54.542701383 +0000
671
671
  @@ -12,7 +12,10 @@
672
672
  this._left = '';
673
673
  this._bottom = '';
@@ -718,8 +718,8 @@ diff -urN -x '*.map' a/vs/base/browser/fastDomNode.js b/vs/base/browser/fastDomN
718
718
  if (this._fontFamily === fontFamily) {
719
719
  return;
720
720
  diff -urN -x '*.map' a/vs/base/browser/iframe.js b/vs/base/browser/iframe.js
721
- --- a/vs/base/browser/iframe.js 2023-07-13 09:45:30.116864841 +0000
722
- +++ b/vs/base/browser/iframe.js 2023-07-13 09:47:10.108946110 +0000
721
+ --- a/vs/base/browser/iframe.js 2023-07-24 12:38:15.003683661 +0000
722
+ +++ b/vs/base/browser/iframe.js 2023-07-24 12:39:54.542701383 +0000
723
723
  @@ -54,6 +54,16 @@
724
724
  return sameOriginWindowChainCache.slice(0);
725
725
  }
@@ -739,7 +739,7 @@ diff -urN -x '*.map' a/vs/base/browser/iframe.js b/vs/base/browser/iframe.js
739
739
  static getPositionOfChildWindowRelativeToAncestorWindow(childWindow, ancestorWindow) {
740
740
  diff -urN -x '*.map' a/vs/base/browser/indexedDB.js b/vs/base/browser/indexedDB.js
741
741
  --- a/vs/base/browser/indexedDB.js 1970-01-01 00:00:00.000000000 +0000
742
- +++ b/vs/base/browser/indexedDB.js 2023-07-13 09:47:10.108946110 +0000
742
+ +++ b/vs/base/browser/indexedDB.js 2023-07-24 12:39:54.542701383 +0000
743
743
  @@ -0,0 +1,175 @@
744
744
  +/*---------------------------------------------------------------------------------------------
745
745
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -917,8 +917,8 @@ diff -urN -x '*.map' a/vs/base/browser/indexedDB.js b/vs/base/browser/indexedDB.
917
917
  + }
918
918
  +}
919
919
  diff -urN -x '*.map' a/vs/base/browser/keyboardEvent.js b/vs/base/browser/keyboardEvent.js
920
- --- a/vs/base/browser/keyboardEvent.js 2023-07-13 09:45:30.116864841 +0000
921
- +++ b/vs/base/browser/keyboardEvent.js 2023-07-13 09:47:10.132946117 +0000
920
+ --- a/vs/base/browser/keyboardEvent.js 2023-07-24 12:38:15.003683661 +0000
921
+ +++ b/vs/base/browser/keyboardEvent.js 2023-07-24 12:39:54.578700965 +0000
922
922
  @@ -53,6 +53,38 @@
923
923
  const altKeyMod = 512 /* KeyMod.Alt */;
924
924
  const shiftKeyMod = 1024 /* KeyMod.Shift */;
@@ -959,8 +959,8 @@ diff -urN -x '*.map' a/vs/base/browser/keyboardEvent.js b/vs/base/browser/keyboa
959
959
  constructor(source) {
960
960
  this._standardKeyboardEventBrand = true;
961
961
  diff -urN -x '*.map' a/vs/base/browser/mouseEvent.js b/vs/base/browser/mouseEvent.js
962
- --- a/vs/base/browser/mouseEvent.js 2023-07-13 09:45:30.116864841 +0000
963
- +++ b/vs/base/browser/mouseEvent.js 2023-07-13 09:47:10.132946117 +0000
962
+ --- a/vs/base/browser/mouseEvent.js 2023-07-24 12:38:15.007683618 +0000
963
+ +++ b/vs/base/browser/mouseEvent.js 2023-07-24 12:39:54.578700965 +0000
964
964
  @@ -43,6 +43,12 @@
965
965
  this.browserEvent.stopPropagation();
966
966
  }
@@ -975,8 +975,8 @@ diff -urN -x '*.map' a/vs/base/browser/mouseEvent.js b/vs/base/browser/mouseEven
975
975
  constructor(e, deltaX = 0, deltaY = 0) {
976
976
  this.browserEvent = e || null;
977
977
  diff -urN -x '*.map' a/vs/base/browser/ui/actionbar/actionViewItems.js b/vs/base/browser/ui/actionbar/actionViewItems.js
978
- --- a/vs/base/browser/ui/actionbar/actionViewItems.js 2023-07-13 09:45:30.088864855 +0000
979
- +++ b/vs/base/browser/ui/actionbar/actionViewItems.js 2023-07-13 09:47:10.112946111 +0000
978
+ --- a/vs/base/browser/ui/actionbar/actionViewItems.js 2023-07-24 12:38:14.983683880 +0000
979
+ +++ b/vs/base/browser/ui/actionbar/actionViewItems.js 2023-07-24 12:39:54.578700965 +0000
980
980
  @@ -130,6 +130,10 @@
981
981
  this.element.classList.add('focused');
982
982
  }
@@ -1010,8 +1010,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/actionbar/actionViewItems.js b/vs/base
1010
1010
  this.selectBox.select(index);
1011
1011
  }
1012
1012
  diff -urN -x '*.map' a/vs/base/browser/ui/actionbar/actionbar.js b/vs/base/browser/ui/actionbar/actionbar.js
1013
- --- a/vs/base/browser/ui/actionbar/actionbar.js 2023-07-13 09:45:30.088864855 +0000
1014
- +++ b/vs/base/browser/ui/actionbar/actionbar.js 2023-07-13 09:47:10.112946111 +0000
1013
+ --- a/vs/base/browser/ui/actionbar/actionbar.js 2023-07-24 12:38:14.983683880 +0000
1014
+ +++ b/vs/base/browser/ui/actionbar/actionbar.js 2023-07-24 12:39:54.578700965 +0000
1015
1015
  @@ -155,6 +155,14 @@
1016
1016
  this.actionsList.setAttribute('role', 'presentation');
1017
1017
  }
@@ -1118,8 +1118,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/actionbar/actionbar.js b/vs/base/brows
1118
1118
  + return actions;
1119
1119
  +}
1120
1120
  diff -urN -x '*.map' a/vs/base/browser/ui/breadcrumbs/breadcrumbsWidget.js b/vs/base/browser/ui/breadcrumbs/breadcrumbsWidget.js
1121
- --- a/vs/base/browser/ui/breadcrumbs/breadcrumbsWidget.js 2023-07-13 09:45:30.088864855 +0000
1122
- +++ b/vs/base/browser/ui/breadcrumbs/breadcrumbsWidget.js 2023-07-13 09:47:10.112946111 +0000
1121
+ --- a/vs/base/browser/ui/breadcrumbs/breadcrumbsWidget.js 2023-07-24 12:38:14.983683880 +0000
1122
+ +++ b/vs/base/browser/ui/breadcrumbs/breadcrumbsWidget.js 2023-07-24 12:39:54.578700965 +0000
1123
1123
  @@ -1 +1,301 @@
1124
1124
  +/*---------------------------------------------------------------------------------------------
1125
1125
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -1423,8 +1423,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/breadcrumbs/breadcrumbsWidget.js b/vs/
1423
1423
  + }
1424
1424
  +}
1425
1425
  diff -urN -x '*.map' a/vs/base/browser/ui/button/button.js b/vs/base/browser/ui/button/button.js
1426
- --- a/vs/base/browser/ui/button/button.js 2023-07-13 09:45:30.092864853 +0000
1427
- +++ b/vs/base/browser/ui/button/button.js 2023-07-13 09:47:10.108946110 +0000
1426
+ --- a/vs/base/browser/ui/button/button.js 2023-07-24 12:38:14.983683880 +0000
1427
+ +++ b/vs/base/browser/ui/button/button.js 2023-07-24 12:39:54.542701383 +0000
1428
1428
  @@ -1,14 +1,31 @@
1429
1429
  +/*---------------------------------------------------------------------------------------------
1430
1430
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -1649,8 +1649,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/button/button.js b/vs/base/browser/ui/
1649
1649
  + }
1650
1650
  }
1651
1651
  diff -urN -x '*.map' a/vs/base/browser/ui/countBadge/countBadge.js b/vs/base/browser/ui/countBadge/countBadge.js
1652
- --- a/vs/base/browser/ui/countBadge/countBadge.js 2023-07-13 09:45:30.092864853 +0000
1653
- +++ b/vs/base/browser/ui/countBadge/countBadge.js 2023-07-13 09:47:10.112946111 +0000
1652
+ --- a/vs/base/browser/ui/countBadge/countBadge.js 2023-07-24 12:38:14.987683836 +0000
1653
+ +++ b/vs/base/browser/ui/countBadge/countBadge.js 2023-07-24 12:39:54.542701383 +0000
1654
1654
  @@ -5,6 +5,11 @@
1655
1655
  import { $, append } from '../../dom.js';
1656
1656
  import { format } from '../../../common/strings.js';
@@ -1675,8 +1675,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/countBadge/countBadge.js b/vs/base/bro
1675
1675
  this.titleFormat = titleFormat;
1676
1676
  this.render();
1677
1677
  diff -urN -x '*.map' a/vs/base/browser/ui/dialog/dialog.js b/vs/base/browser/ui/dialog/dialog.js
1678
- --- a/vs/base/browser/ui/dialog/dialog.js 2023-07-13 09:45:30.092864853 +0000
1679
- +++ b/vs/base/browser/ui/dialog/dialog.js 2023-07-13 09:47:10.112946111 +0000
1678
+ --- a/vs/base/browser/ui/dialog/dialog.js 2023-07-24 12:38:14.987683836 +0000
1679
+ +++ b/vs/base/browser/ui/dialog/dialog.js 2023-07-24 12:39:54.578700965 +0000
1680
1680
  @@ -1 +1,401 @@
1681
1681
  +/*---------------------------------------------------------------------------------------------
1682
1682
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -2080,8 +2080,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/dialog/dialog.js b/vs/base/browser/ui/
2080
2080
  + }
2081
2081
  +}
2082
2082
  diff -urN -x '*.map' a/vs/base/browser/ui/dropdown/dropdown.js b/vs/base/browser/ui/dropdown/dropdown.js
2083
- --- a/vs/base/browser/ui/dropdown/dropdown.js 2023-07-13 09:45:30.096864851 +0000
2084
- +++ b/vs/base/browser/ui/dropdown/dropdown.js 2023-07-13 09:47:10.132946117 +0000
2083
+ --- a/vs/base/browser/ui/dropdown/dropdown.js 2023-07-24 12:38:14.987683836 +0000
2084
+ +++ b/vs/base/browser/ui/dropdown/dropdown.js 2023-07-24 12:39:54.578700965 +0000
2085
2085
  @@ -61,6 +61,14 @@
2086
2086
  get element() {
2087
2087
  return this._element;
@@ -2111,8 +2111,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/dropdown/dropdown.js b/vs/base/browser
2111
2111
  super.dispose();
2112
2112
  this.hide();
2113
2113
  diff -urN -x '*.map' a/vs/base/browser/ui/dropdown/dropdownActionViewItem.js b/vs/base/browser/ui/dropdown/dropdownActionViewItem.js
2114
- --- a/vs/base/browser/ui/dropdown/dropdownActionViewItem.js 2023-07-13 09:45:30.096864851 +0000
2115
- +++ b/vs/base/browser/ui/dropdown/dropdownActionViewItem.js 2023-07-13 09:47:10.132946117 +0000
2114
+ --- a/vs/base/browser/ui/dropdown/dropdownActionViewItem.js 2023-07-24 12:38:14.987683836 +0000
2115
+ +++ b/vs/base/browser/ui/dropdown/dropdownActionViewItem.js 2023-07-24 12:39:54.578700965 +0000
2116
2116
  @@ -1,6 +1,15 @@
2117
2117
  -import { $, append } from '../../dom.js';
2118
2118
  -import { BaseActionViewItem } from '../actionbar/actionViewItems.js';
@@ -2189,8 +2189,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/dropdown/dropdownActionViewItem.js b/v
2189
2189
  + }
2190
2190
  +}
2191
2191
  diff -urN -x '*.map' a/vs/base/browser/ui/findinput/findInput.js b/vs/base/browser/ui/findinput/findInput.js
2192
- --- a/vs/base/browser/ui/findinput/findInput.js 2023-07-13 09:45:30.096864851 +0000
2193
- +++ b/vs/base/browser/ui/findinput/findInput.js 2023-07-13 09:47:10.112946111 +0000
2192
+ --- a/vs/base/browser/ui/findinput/findInput.js 2023-07-24 12:38:14.987683836 +0000
2193
+ +++ b/vs/base/browser/ui/findinput/findInput.js 2023-07-24 12:39:54.542701383 +0000
2194
2194
  @@ -25,7 +25,9 @@
2195
2195
  this._onMouseDown = this._register(new Emitter());
2196
2196
  this.onMouseDown = this._onMouseDown.event;
@@ -2254,8 +2254,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/findinput/findInput.js b/vs/base/brows
2254
2254
  }
2255
2255
  +FindInput.OPTION_CHANGE = 'optionChange';
2256
2256
  diff -urN -x '*.map' a/vs/base/browser/ui/findinput/replaceInput.js b/vs/base/browser/ui/findinput/replaceInput.js
2257
- --- a/vs/base/browser/ui/findinput/replaceInput.js 2023-07-13 09:45:30.096864851 +0000
2258
- +++ b/vs/base/browser/ui/findinput/replaceInput.js 2023-07-13 09:47:10.112946111 +0000
2257
+ --- a/vs/base/browser/ui/findinput/replaceInput.js 2023-07-24 12:38:14.987683836 +0000
2258
+ +++ b/vs/base/browser/ui/findinput/replaceInput.js 2023-07-24 12:39:54.542701383 +0000
2259
2259
  @@ -36,10 +36,14 @@
2260
2260
  this._onKeyDown = this._register(new Emitter());
2261
2261
  this.onKeyDown = this._onKeyDown.event;
@@ -2340,8 +2340,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/findinput/replaceInput.js b/vs/base/br
2340
2340
  }
2341
2341
  +ReplaceInput.OPTION_CHANGE = 'optionChange';
2342
2342
  diff -urN -x '*.map' a/vs/base/browser/ui/inputbox/inputBox.js b/vs/base/browser/ui/inputbox/inputBox.js
2343
- --- a/vs/base/browser/ui/inputbox/inputBox.js 2023-07-13 09:45:30.100864849 +0000
2344
- +++ b/vs/base/browser/ui/inputbox/inputBox.js 2023-07-13 09:47:10.108946110 +0000
2343
+ --- a/vs/base/browser/ui/inputbox/inputBox.js 2023-07-24 12:38:14.991683792 +0000
2344
+ +++ b/vs/base/browser/ui/inputbox/inputBox.js 2023-07-24 12:39:54.542701383 +0000
2345
2345
  @@ -125,6 +125,21 @@
2346
2346
  this.tooltip = tooltip;
2347
2347
  this.input.title = tooltip;
@@ -2447,8 +2447,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/inputbox/inputBox.js b/vs/base/browser
2447
2447
  super.onBlur();
2448
2448
  this._onDidBlur.fire();
2449
2449
  diff -urN -x '*.map' a/vs/base/browser/ui/list/list.js b/vs/base/browser/ui/list/list.js
2450
- --- a/vs/base/browser/ui/list/list.js 2023-07-13 09:45:30.100864849 +0000
2451
- +++ b/vs/base/browser/ui/list/list.js 2023-07-13 09:47:10.112946111 +0000
2450
+ --- a/vs/base/browser/ui/list/list.js 2023-07-24 12:38:14.991683792 +0000
2451
+ +++ b/vs/base/browser/ui/list/list.js 2023-07-24 12:39:54.578700965 +0000
2452
2452
  @@ -2,8 +2,26 @@
2453
2453
  * Copyright (c) Microsoft Corporation. All rights reserved.
2454
2454
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -2477,8 +2477,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/list/list.js b/vs/base/browser/ui/list
2477
2477
  + }
2478
2478
  +}
2479
2479
  diff -urN -x '*.map' a/vs/base/browser/ui/list/listPaging.js b/vs/base/browser/ui/list/listPaging.js
2480
- --- a/vs/base/browser/ui/list/listPaging.js 2023-07-13 09:45:30.100864849 +0000
2481
- +++ b/vs/base/browser/ui/list/listPaging.js 2023-07-13 09:47:10.112946111 +0000
2480
+ --- a/vs/base/browser/ui/list/listPaging.js 2023-07-24 12:38:14.991683792 +0000
2481
+ +++ b/vs/base/browser/ui/list/listPaging.js 2023-07-24 12:39:54.578700965 +0000
2482
2482
  @@ -76,21 +76,45 @@
2483
2483
  getHTMLElement() {
2484
2484
  return this.list.getHTMLElement();
@@ -2596,8 +2596,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/list/listPaging.js b/vs/base/browser/u
2596
2596
  this.list.style(styles);
2597
2597
  }
2598
2598
  diff -urN -x '*.map' a/vs/base/browser/ui/list/listView.js b/vs/base/browser/ui/list/listView.js
2599
- --- a/vs/base/browser/ui/list/listView.js 2023-07-13 09:45:30.100864849 +0000
2600
- +++ b/vs/base/browser/ui/list/listView.js 2023-07-13 09:47:10.112946111 +0000
2599
+ --- a/vs/base/browser/ui/list/listView.js 2023-07-24 12:38:14.991683792 +0000
2600
+ +++ b/vs/base/browser/ui/list/listView.js 2023-07-24 12:39:54.542701383 +0000
2601
2601
  @@ -44,6 +44,12 @@
2602
2602
  alwaysConsumeMouseWheel: true,
2603
2603
  };
@@ -2772,8 +2772,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/list/listView.js b/vs/base/browser/ui/
2772
2772
  __decorate([
2773
2773
  memoize
2774
2774
  diff -urN -x '*.map' a/vs/base/browser/ui/list/listWidget.js b/vs/base/browser/ui/list/listWidget.js
2775
- --- a/vs/base/browser/ui/list/listWidget.js 2023-07-13 09:45:30.100864849 +0000
2776
- +++ b/vs/base/browser/ui/list/listWidget.js 2023-07-13 09:47:10.112946111 +0000
2775
+ --- a/vs/base/browser/ui/list/listWidget.js 2023-07-24 12:38:14.991683792 +0000
2776
+ +++ b/vs/base/browser/ui/list/listWidget.js 2023-07-24 12:39:54.578700965 +0000
2777
2777
  @@ -366,6 +366,9 @@
2778
2778
  }
2779
2779
  this.mode = (_b = options.typeNavigationMode) !== null && _b !== void 0 ? _b : TypeNavigationMode.Automatic;
@@ -2926,8 +2926,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/list/listWidget.js b/vs/base/browser/u
2926
2926
  + memoize
2927
2927
  +], List.prototype, "onDidBlur", null);
2928
2928
  diff -urN -x '*.map' a/vs/base/browser/ui/menu/menu.js b/vs/base/browser/ui/menu/menu.js
2929
- --- a/vs/base/browser/ui/menu/menu.js 2023-07-13 09:45:30.112864843 +0000
2930
- +++ b/vs/base/browser/ui/menu/menu.js 2023-07-13 09:47:10.132946117 +0000
2929
+ --- a/vs/base/browser/ui/menu/menu.js 2023-07-24 12:38:15.003683661 +0000
2930
+ +++ b/vs/base/browser/ui/menu/menu.js 2023-07-24 12:39:54.578700965 +0000
2931
2931
  @@ -26,6 +26,20 @@
2932
2932
  Direction[Direction["Right"] = 0] = "Right";
2933
2933
  Direction[Direction["Left"] = 1] = "Left";
@@ -2986,8 +2986,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/menu/menu.js b/vs/base/browser/ui/menu
2986
2986
  // stop clicking from trying to run an action
2987
2987
  EventHelper.stop(e, true);
2988
2988
  diff -urN -x '*.map' a/vs/base/browser/ui/progressbar/progressbar.js b/vs/base/browser/ui/progressbar/progressbar.js
2989
- --- a/vs/base/browser/ui/progressbar/progressbar.js 2023-07-13 09:45:30.104864847 +0000
2990
- +++ b/vs/base/browser/ui/progressbar/progressbar.js 2023-07-13 09:47:10.132946117 +0000
2989
+ --- a/vs/base/browser/ui/progressbar/progressbar.js 2023-07-24 12:38:14.995683749 +0000
2990
+ +++ b/vs/base/browser/ui/progressbar/progressbar.js 2023-07-24 12:39:54.578700965 +0000
2991
2991
  @@ -2,15 +2,19 @@
2992
2992
  * Copyright (c) Microsoft Corporation. All rights reserved.
2993
2993
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -3086,8 +3086,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/progressbar/progressbar.js b/vs/base/b
3086
3086
  /**
3087
3087
  * After a certain time of showing the progress bar, switch
3088
3088
  diff -urN -x '*.map' a/vs/base/browser/ui/sash/sash.js b/vs/base/browser/ui/sash/sash.js
3089
- --- a/vs/base/browser/ui/sash/sash.js 2023-07-13 09:45:30.104864847 +0000
3090
- +++ b/vs/base/browser/ui/sash/sash.js 2023-07-13 09:47:10.112946111 +0000
3089
+ --- a/vs/base/browser/ui/sash/sash.js 2023-07-24 12:38:14.995683749 +0000
3090
+ +++ b/vs/base/browser/ui/sash/sash.js 2023-07-24 12:39:54.542701383 +0000
3091
3091
  @@ -31,8 +31,16 @@
3092
3092
  })(OrthogonalEdge || (OrthogonalEdge = {}));
3093
3093
  let globalSize = 4;
@@ -3106,8 +3106,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/sash/sash.js b/vs/base/browser/ui/sash
3106
3106
  constructor() {
3107
3107
  this.disposables = new DisposableStore();
3108
3108
  diff -urN -x '*.map' a/vs/base/browser/ui/scrollbar/scrollableElement.js b/vs/base/browser/ui/scrollbar/scrollableElement.js
3109
- --- a/vs/base/browser/ui/scrollbar/scrollableElement.js 2023-07-13 09:45:30.104864847 +0000
3110
- +++ b/vs/base/browser/ui/scrollbar/scrollableElement.js 2023-07-13 09:47:10.112946111 +0000
3109
+ --- a/vs/base/browser/ui/scrollbar/scrollableElement.js 2023-07-24 12:38:14.995683749 +0000
3110
+ +++ b/vs/base/browser/ui/scrollbar/scrollableElement.js 2023-07-24 12:39:54.542701383 +0000
3111
3111
  @@ -127,6 +127,7 @@
3112
3112
  this._onScroll = this._register(new Emitter());
3113
3113
  this.onScroll = this._onScroll.event;
@@ -3137,8 +3137,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/scrollbar/scrollableElement.js b/vs/ba
3137
3137
  export class SmoothScrollableElement extends AbstractScrollableElement {
3138
3138
  constructor(element, options, scrollable) {
3139
3139
  diff -urN -x '*.map' a/vs/base/browser/ui/selectBox/selectBox.js b/vs/base/browser/ui/selectBox/selectBox.js
3140
- --- a/vs/base/browser/ui/selectBox/selectBox.js 2023-07-13 09:45:30.108864845 +0000
3141
- +++ b/vs/base/browser/ui/selectBox/selectBox.js 2023-07-13 09:47:10.132946117 +0000
3140
+ --- a/vs/base/browser/ui/selectBox/selectBox.js 2023-07-24 12:38:14.995683749 +0000
3141
+ +++ b/vs/base/browser/ui/selectBox/selectBox.js 2023-07-24 12:39:54.578700965 +0000
3142
3142
  @@ -2,11 +2,13 @@
3143
3143
  * Copyright (c) Microsoft Corporation. All rights reserved.
3144
3144
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -3164,8 +3164,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/selectBox/selectBox.js b/vs/base/brows
3164
3164
  this.selectBoxDelegate.focus();
3165
3165
  }
3166
3166
  diff -urN -x '*.map' a/vs/base/browser/ui/selectBox/selectBoxCustom.js b/vs/base/browser/ui/selectBox/selectBoxCustom.js
3167
- --- a/vs/base/browser/ui/selectBox/selectBoxCustom.js 2023-07-13 09:45:30.108864845 +0000
3168
- +++ b/vs/base/browser/ui/selectBox/selectBoxCustom.js 2023-07-13 09:47:10.132946117 +0000
3167
+ --- a/vs/base/browser/ui/selectBox/selectBoxCustom.js 2023-07-24 12:38:14.995683749 +0000
3168
+ +++ b/vs/base/browser/ui/selectBox/selectBoxCustom.js 2023-07-24 12:39:54.578700965 +0000
3169
3169
  @@ -223,6 +223,10 @@
3170
3170
  this.selectElement.title = this.options[this.selected].text;
3171
3171
  }
@@ -3178,8 +3178,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/selectBox/selectBoxCustom.js b/vs/base
3178
3178
  if (this.selectElement) {
3179
3179
  this.selectElement.tabIndex = 0;
3180
3180
  diff -urN -x '*.map' a/vs/base/browser/ui/selectBox/selectBoxNative.js b/vs/base/browser/ui/selectBox/selectBoxNative.js
3181
- --- a/vs/base/browser/ui/selectBox/selectBoxNative.js 2023-07-13 09:45:30.108864845 +0000
3182
- +++ b/vs/base/browser/ui/selectBox/selectBoxNative.js 2023-07-13 09:47:10.132946117 +0000
3181
+ --- a/vs/base/browser/ui/selectBox/selectBoxNative.js 2023-07-24 12:38:14.995683749 +0000
3182
+ +++ b/vs/base/browser/ui/selectBox/selectBoxNative.js 2023-07-24 12:39:54.578700965 +0000
3183
3183
  @@ -100,6 +100,10 @@
3184
3184
  this.selectElement.title = '';
3185
3185
  }
@@ -3203,8 +3203,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/selectBox/selectBoxNative.js b/vs/base
3203
3203
  var _a, _b, _c;
3204
3204
  // Style native select
3205
3205
  diff -urN -x '*.map' a/vs/base/browser/ui/splitview/splitview.js b/vs/base/browser/ui/splitview/splitview.js
3206
- --- a/vs/base/browser/ui/splitview/splitview.js 2023-07-13 09:45:30.108864845 +0000
3207
- +++ b/vs/base/browser/ui/splitview/splitview.js 2023-07-13 09:47:10.112946111 +0000
3206
+ --- a/vs/base/browser/ui/splitview/splitview.js 2023-07-24 12:38:14.995683749 +0000
3207
+ +++ b/vs/base/browser/ui/splitview/splitview.js 2023-07-24 12:39:54.578700965 +0000
3208
3208
  @@ -24,6 +24,7 @@
3209
3209
  get size() {
3210
3210
  return this._size;
@@ -3385,8 +3385,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/splitview/splitview.js b/vs/base/brows
3385
3385
  */
3386
3386
  distributeViewSizes() {
3387
3387
  diff -urN -x '*.map' a/vs/base/browser/ui/table/table.js b/vs/base/browser/ui/table/table.js
3388
- --- a/vs/base/browser/ui/table/table.js 2023-07-13 09:45:30.108864845 +0000
3389
- +++ b/vs/base/browser/ui/table/table.js 2023-07-13 09:47:10.132946117 +0000
3388
+ --- a/vs/base/browser/ui/table/table.js 2023-07-24 12:38:14.999683705 +0000
3389
+ +++ b/vs/base/browser/ui/table/table.js 2023-07-24 12:39:54.578700965 +0000
3390
3390
  @@ -2,4 +2,8 @@
3391
3391
  * Copyright (c) Microsoft Corporation. All rights reserved.
3392
3392
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -3398,8 +3398,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/table/table.js b/vs/base/browser/ui/ta
3398
3398
  + }
3399
3399
  +}
3400
3400
  diff -urN -x '*.map' a/vs/base/browser/ui/table/tableWidget.js b/vs/base/browser/ui/table/tableWidget.js
3401
- --- a/vs/base/browser/ui/table/tableWidget.js 2023-07-13 09:45:30.108864845 +0000
3402
- +++ b/vs/base/browser/ui/table/tableWidget.js 2023-07-13 09:47:10.132946117 +0000
3401
+ --- a/vs/base/browser/ui/table/tableWidget.js 2023-07-24 12:38:14.999683705 +0000
3402
+ +++ b/vs/base/browser/ui/table/tableWidget.js 2023-07-24 12:39:54.578700965 +0000
3403
3403
  @@ -2,7 +2,7 @@
3404
3404
  * Copyright (c) Microsoft Corporation. All rights reserved.
3405
3405
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -3531,8 +3531,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/table/tableWidget.js b/vs/base/browser
3531
3531
  this.disposables.dispose();
3532
3532
  }
3533
3533
  diff -urN -x '*.map' a/vs/base/browser/ui/toggle/toggle.js b/vs/base/browser/ui/toggle/toggle.js
3534
- --- a/vs/base/browser/ui/toggle/toggle.js 2023-07-13 09:45:30.108864845 +0000
3535
- +++ b/vs/base/browser/ui/toggle/toggle.js 2023-07-13 09:47:10.108946110 +0000
3534
+ --- a/vs/base/browser/ui/toggle/toggle.js 2023-07-24 12:38:14.999683705 +0000
3535
+ +++ b/vs/base/browser/ui/toggle/toggle.js 2023-07-24 12:39:54.542701383 +0000
3536
3536
  @@ -2,7 +2,9 @@
3537
3537
  * Copyright (c) Microsoft Corporation. All rights reserved.
3538
3538
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -3650,8 +3650,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/toggle/toggle.js b/vs/base/browser/ui/
3650
3650
  + }
3651
3651
  }
3652
3652
  diff -urN -x '*.map' a/vs/base/browser/ui/toolbar/toolbar.js b/vs/base/browser/ui/toolbar/toolbar.js
3653
- --- a/vs/base/browser/ui/toolbar/toolbar.js 2023-07-13 09:45:30.112864843 +0000
3654
- +++ b/vs/base/browser/ui/toolbar/toolbar.js 2023-07-13 09:47:10.132946117 +0000
3653
+ --- a/vs/base/browser/ui/toolbar/toolbar.js 2023-07-24 12:38:14.999683705 +0000
3654
+ +++ b/vs/base/browser/ui/toolbar/toolbar.js 2023-07-24 12:39:54.578700965 +0000
3655
3655
  @@ -88,12 +88,39 @@
3656
3656
  get actionRunner() {
3657
3657
  return this.actionBar.actionRunner;
@@ -3703,8 +3703,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/toolbar/toolbar.js b/vs/base/browser/u
3703
3703
  var _a, _b;
3704
3704
  const key = this.lookupKeybindings ? (_b = (_a = this.options).getKeyBinding) === null || _b === void 0 ? void 0 : _b.call(_a, action) : undefined;
3705
3705
  diff -urN -x '*.map' a/vs/base/browser/ui/tree/abstractTree.js b/vs/base/browser/ui/tree/abstractTree.js
3706
- --- a/vs/base/browser/ui/tree/abstractTree.js 2023-07-13 09:45:30.112864843 +0000
3707
- +++ b/vs/base/browser/ui/tree/abstractTree.js 2023-07-13 09:47:10.132946117 +0000
3706
+ --- a/vs/base/browser/ui/tree/abstractTree.js 2023-07-24 12:38:14.999683705 +0000
3707
+ +++ b/vs/base/browser/ui/tree/abstractTree.js 2023-07-24 12:39:54.578700965 +0000
3708
3708
  @@ -21,9 +21,9 @@
3709
3709
  import { isButton, isInputElement, isMonacoEditor, List, MouseController } from '../list/listWidget.js';
3710
3710
  import { Toggle, unthemedToggleStyles } from '../toggle/toggle.js';
@@ -4184,8 +4184,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/tree/abstractTree.js b/vs/base/browser
4184
4184
  + }
4185
4185
  +}
4186
4186
  diff -urN -x '*.map' a/vs/base/browser/ui/tree/asyncDataTree.js b/vs/base/browser/ui/tree/asyncDataTree.js
4187
- --- a/vs/base/browser/ui/tree/asyncDataTree.js 2023-07-13 09:45:30.112864843 +0000
4188
- +++ b/vs/base/browser/ui/tree/asyncDataTree.js 2023-07-13 09:47:10.132946117 +0000
4187
+ --- a/vs/base/browser/ui/tree/asyncDataTree.js 2023-07-24 12:38:14.999683705 +0000
4188
+ +++ b/vs/base/browser/ui/tree/asyncDataTree.js 2023-07-24 12:39:54.578700965 +0000
4189
4189
  @@ -104,7 +104,20 @@
4190
4190
  target: e.target
4191
4191
  };
@@ -4463,8 +4463,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/tree/asyncDataTree.js b/vs/base/browse
4463
4463
  if (!this.identityProvider) {
4464
4464
  return super.render(node, viewStateContext);
4465
4465
  diff -urN -x '*.map' a/vs/base/browser/ui/tree/compressedObjectTreeModel.js b/vs/base/browser/ui/tree/compressedObjectTreeModel.js
4466
- --- a/vs/base/browser/ui/tree/compressedObjectTreeModel.js 2023-07-13 09:45:30.112864843 +0000
4467
- +++ b/vs/base/browser/ui/tree/compressedObjectTreeModel.js 2023-07-13 09:47:10.132946117 +0000
4466
+ --- a/vs/base/browser/ui/tree/compressedObjectTreeModel.js 2023-07-24 12:38:14.999683705 +0000
4467
+ +++ b/vs/base/browser/ui/tree/compressedObjectTreeModel.js 2023-07-24 12:39:54.578700965 +0000
4468
4468
  @@ -84,6 +84,7 @@
4469
4469
  get onDidSplice() { return this.model.onDidSplice; }
4470
4470
  get onDidChangeCollapseState() { return this.model.onDidChangeCollapseState; }
@@ -4556,8 +4556,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/tree/compressedObjectTreeModel.js b/vs
4556
4556
  return this.model.getNode(location);
4557
4557
  }
4558
4558
  diff -urN -x '*.map' a/vs/base/browser/ui/tree/dataTree.js b/vs/base/browser/ui/tree/dataTree.js
4559
- --- a/vs/base/browser/ui/tree/dataTree.js 2023-07-13 09:45:30.112864843 +0000
4560
- +++ b/vs/base/browser/ui/tree/dataTree.js 2023-07-13 09:47:10.132946117 +0000
4559
+ --- a/vs/base/browser/ui/tree/dataTree.js 2023-07-24 12:38:14.999683705 +0000
4560
+ +++ b/vs/base/browser/ui/tree/dataTree.js 2023-07-24 12:39:54.578700965 +0000
4561
4561
  @@ -4,13 +4,115 @@
4562
4562
  *--------------------------------------------------------------------------------------------*/
4563
4563
  import { AbstractTree } from './abstractTree.js';
@@ -4675,8 +4675,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/tree/dataTree.js b/vs/base/browser/ui/
4675
4675
  return new ObjectTreeModel(user, view, options);
4676
4676
  }
4677
4677
  diff -urN -x '*.map' a/vs/base/browser/ui/tree/indexTreeModel.js b/vs/base/browser/ui/tree/indexTreeModel.js
4678
- --- a/vs/base/browser/ui/tree/indexTreeModel.js 2023-07-13 09:45:30.112864843 +0000
4679
- +++ b/vs/base/browser/ui/tree/indexTreeModel.js 2023-07-13 09:47:10.132946117 +0000
4678
+ --- a/vs/base/browser/ui/tree/indexTreeModel.js 2023-07-24 12:38:14.999683705 +0000
4679
+ +++ b/vs/base/browser/ui/tree/indexTreeModel.js 2023-07-24 12:39:54.578700965 +0000
4680
4680
  @@ -197,6 +197,13 @@
4681
4681
  this.list.splice(listIndex, 1, [node]);
4682
4682
  }
@@ -4710,8 +4710,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/tree/indexTreeModel.js b/vs/base/brows
4710
4710
  + }
4711
4711
  }
4712
4712
  diff -urN -x '*.map' a/vs/base/browser/ui/tree/objectTree.js b/vs/base/browser/ui/tree/objectTree.js
4713
- --- a/vs/base/browser/ui/tree/objectTree.js 2023-07-13 09:45:30.112864843 +0000
4714
- +++ b/vs/base/browser/ui/tree/objectTree.js 2023-07-13 09:47:10.132946117 +0000
4713
+ --- a/vs/base/browser/ui/tree/objectTree.js 2023-07-24 12:38:14.999683705 +0000
4714
+ +++ b/vs/base/browser/ui/tree/objectTree.js 2023-07-24 12:39:54.578700965 +0000
4715
4715
  @@ -29,6 +29,12 @@
4716
4716
  }
4717
4717
  this.model.rerender(element);
@@ -4726,8 +4726,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/tree/objectTree.js b/vs/base/browser/u
4726
4726
  return this.model.has(element);
4727
4727
  }
4728
4728
  diff -urN -x '*.map' a/vs/base/browser/ui/tree/objectTreeModel.js b/vs/base/browser/ui/tree/objectTreeModel.js
4729
- --- a/vs/base/browser/ui/tree/objectTreeModel.js 2023-07-13 09:45:30.112864843 +0000
4730
- +++ b/vs/base/browser/ui/tree/objectTreeModel.js 2023-07-13 09:47:10.132946117 +0000
4729
+ --- a/vs/base/browser/ui/tree/objectTreeModel.js 2023-07-24 12:38:14.999683705 +0000
4730
+ +++ b/vs/base/browser/ui/tree/objectTreeModel.js 2023-07-24 12:39:54.578700965 +0000
4731
4731
  @@ -6,6 +6,7 @@
4732
4732
  import { ObjectTreeElementCollapseState, TreeError } from './tree.js';
4733
4733
  import { Iterable } from '../../../common/iterator.js';
@@ -4776,8 +4776,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/tree/objectTreeModel.js b/vs/base/brow
4776
4776
  return this.nodes.has(element);
4777
4777
  }
4778
4778
  diff -urN -x '*.map' a/vs/base/browser/ui/tree/tree.js b/vs/base/browser/ui/tree/tree.js
4779
- --- a/vs/base/browser/ui/tree/tree.js 2023-07-13 09:45:30.112864843 +0000
4780
- +++ b/vs/base/browser/ui/tree/tree.js 2023-07-13 09:47:10.112946111 +0000
4779
+ --- a/vs/base/browser/ui/tree/tree.js 2023-07-24 12:38:15.003683661 +0000
4780
+ +++ b/vs/base/browser/ui/tree/tree.js 2023-07-24 12:39:54.578700965 +0000
4781
4781
  @@ -22,6 +22,12 @@
4782
4782
  TreeMouseEventTarget[TreeMouseEventTarget["Element"] = 2] = "Element";
4783
4783
  TreeMouseEventTarget[TreeMouseEventTarget["Filter"] = 3] = "Filter";
@@ -4792,8 +4792,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/tree/tree.js b/vs/base/browser/ui/tree
4792
4792
  constructor(user, message) {
4793
4793
  super(`TreeError [${user}] ${message}`);
4794
4794
  diff -urN -x '*.map' a/vs/base/browser/ui/widget.js b/vs/base/browser/ui/widget.js
4795
- --- a/vs/base/browser/ui/widget.js 2023-07-13 09:45:30.112864843 +0000
4796
- +++ b/vs/base/browser/ui/widget.js 2023-07-13 09:47:10.108946110 +0000
4795
+ --- a/vs/base/browser/ui/widget.js 2023-07-24 12:38:15.003683661 +0000
4796
+ +++ b/vs/base/browser/ui/widget.js 2023-07-24 12:39:54.542701383 +0000
4797
4797
  @@ -35,6 +35,9 @@
4798
4798
  onfocus(domNode, listener) {
4799
4799
  this._register(dom.addDisposableListener(domNode, dom.EventType.FOCUS, listener));
@@ -4805,8 +4805,8 @@ diff -urN -x '*.map' a/vs/base/browser/ui/widget.js b/vs/base/browser/ui/widget.
4805
4805
  return Gesture.ignoreTarget(domNode);
4806
4806
  }
4807
4807
  diff -urN -x '*.map' a/vs/base/common/arrays.js b/vs/base/common/arrays.js
4808
- --- a/vs/base/common/arrays.js 2023-07-13 09:45:30.116864841 +0000
4809
- +++ b/vs/base/common/arrays.js 2023-07-13 09:47:10.136946118 +0000
4808
+ --- a/vs/base/common/arrays.js 2023-07-24 12:38:15.007683618 +0000
4809
+ +++ b/vs/base/common/arrays.js 2023-07-24 12:39:54.582700919 +0000
4810
4810
  @@ -1,3 +1,17 @@
4811
4811
  +/*---------------------------------------------------------------------------------------------
4812
4812
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -5173,8 +5173,8 @@ diff -urN -x '*.map' a/vs/base/common/arrays.js b/vs/base/common/arrays.js
5173
5173
  let result;
5174
5174
  this.iterate(item => {
5175
5175
  diff -urN -x '*.map' a/vs/base/common/assert.js b/vs/base/common/assert.js
5176
- --- a/vs/base/common/assert.js 2023-07-13 09:45:30.120864839 +0000
5177
- +++ b/vs/base/common/assert.js 2023-07-13 09:47:10.140946119 +0000
5176
+ --- a/vs/base/common/assert.js 2023-07-24 12:38:15.007683618 +0000
5177
+ +++ b/vs/base/common/assert.js 2023-07-24 12:39:54.586700872 +0000
5178
5178
  @@ -25,6 +25,11 @@
5179
5179
  export function assertNever(value, message = 'Unreachable') {
5180
5180
  throw new Error(message);
@@ -5188,8 +5188,8 @@ diff -urN -x '*.map' a/vs/base/common/assert.js b/vs/base/common/assert.js
5188
5188
  * condition must be side-effect free!
5189
5189
  */
5190
5190
  diff -urN -x '*.map' a/vs/base/common/async.js b/vs/base/common/async.js
5191
- --- a/vs/base/common/async.js 2023-07-13 09:45:30.120864839 +0000
5192
- +++ b/vs/base/common/async.js 2023-07-13 09:47:10.136946118 +0000
5191
+ --- a/vs/base/common/async.js 2023-07-24 12:38:15.007683618 +0000
5192
+ +++ b/vs/base/common/async.js 2023-07-24 12:39:54.578700965 +0000
5193
5193
  @@ -21,7 +21,8 @@
5194
5194
  import { CancellationTokenSource } from './cancellation.js';
5195
5195
  import { CancellationError } from './errors.js';
@@ -5871,8 +5871,8 @@ diff -urN -x '*.map' a/vs/base/common/async.js b/vs/base/common/async.js
5871
5871
  this.p = new Promise((c, e) => {
5872
5872
  this.completeCallback = c;
5873
5873
  diff -urN -x '*.map' a/vs/base/common/buffer.js b/vs/base/common/buffer.js
5874
- --- a/vs/base/common/buffer.js 2023-07-13 09:45:30.120864839 +0000
5875
- +++ b/vs/base/common/buffer.js 2023-07-13 09:47:10.140946119 +0000
5874
+ --- a/vs/base/common/buffer.js 2023-07-24 12:38:15.007683618 +0000
5875
+ +++ b/vs/base/common/buffer.js 2023-07-24 12:39:54.582700919 +0000
5876
5876
  @@ -2,12 +2,35 @@
5877
5877
  * Copyright (c) Microsoft Corporation. All rights reserved.
5878
5878
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -6225,8 +6225,8 @@ diff -urN -x '*.map' a/vs/base/common/buffer.js b/vs/base/common/buffer.js
6225
6225
  + return output;
6226
6226
  +}
6227
6227
  diff -urN -x '*.map' a/vs/base/common/cache.js b/vs/base/common/cache.js
6228
- --- a/vs/base/common/cache.js 2023-07-13 09:45:30.120864839 +0000
6229
- +++ b/vs/base/common/cache.js 2023-07-13 09:47:10.140946119 +0000
6228
+ --- a/vs/base/common/cache.js 2023-07-24 12:38:15.007683618 +0000
6229
+ +++ b/vs/base/common/cache.js 2023-07-24 12:39:54.582700919 +0000
6230
6230
  @@ -1,3 +1,30 @@
6231
6231
  +/*---------------------------------------------------------------------------------------------
6232
6232
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -6259,8 +6259,8 @@ diff -urN -x '*.map' a/vs/base/common/cache.js b/vs/base/common/cache.js
6259
6259
  * Uses a LRU cache to make a given parametrized function cached.
6260
6260
  * Caches just the last value.
6261
6261
  diff -urN -x '*.map' a/vs/base/common/codicons.js b/vs/base/common/codicons.js
6262
- --- a/vs/base/common/codicons.js 2023-07-13 09:45:30.120864839 +0000
6263
- +++ b/vs/base/common/codicons.js 2023-07-13 09:47:10.140946119 +0000
6262
+ --- a/vs/base/common/codicons.js 2023-07-24 12:38:15.011683574 +0000
6263
+ +++ b/vs/base/common/codicons.js 2023-07-24 12:39:54.582700919 +0000
6264
6264
  @@ -18,6 +18,12 @@
6265
6265
  return _codiconFontCharacters;
6266
6266
  }
@@ -6275,8 +6275,8 @@ diff -urN -x '*.map' a/vs/base/common/codicons.js b/vs/base/common/codicons.js
6275
6275
  *
6276
6276
  * In the product (outside of base) Codicons should only be used as defaults. In order to have all icons in VS Code
6277
6277
  diff -urN -x '*.map' a/vs/base/common/collections.js b/vs/base/common/collections.js
6278
- --- a/vs/base/common/collections.js 2023-07-13 09:45:30.120864839 +0000
6279
- +++ b/vs/base/common/collections.js 2023-07-13 09:47:10.136946118 +0000
6278
+ --- a/vs/base/common/collections.js 2023-07-24 12:38:15.011683574 +0000
6279
+ +++ b/vs/base/common/collections.js 2023-07-24 12:39:54.582700919 +0000
6280
6280
  @@ -2,6 +2,52 @@
6281
6281
  * Copyright (c) Microsoft Corporation. All rights reserved.
6282
6282
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -6331,8 +6331,8 @@ diff -urN -x '*.map' a/vs/base/common/collections.js b/vs/base/common/collection
6331
6331
  constructor() {
6332
6332
  this.map = new Map();
6333
6333
  diff -urN -x '*.map' a/vs/base/common/color.js b/vs/base/common/color.js
6334
- --- a/vs/base/common/color.js 2023-07-13 09:45:30.120864839 +0000
6335
- +++ b/vs/base/common/color.js 2023-07-13 09:47:10.136946118 +0000
6334
+ --- a/vs/base/common/color.js 2023-07-24 12:38:15.011683574 +0000
6335
+ +++ b/vs/base/common/color.js 2023-07-24 12:39:54.582700919 +0000
6336
6336
  @@ -242,6 +242,23 @@
6337
6337
  return (c <= 0.03928) ? c / 12.92 : Math.pow(((c + 0.055) / 1.055), 2.4);
6338
6338
  }
@@ -6396,8 +6396,8 @@ diff -urN -x '*.map' a/vs/base/common/color.js b/vs/base/common/color.js
6396
6396
  if (!this._toString) {
6397
6397
  this._toString = Color.Format.CSS.format(this);
6398
6398
  diff -urN -x '*.map' a/vs/base/common/comparers.js b/vs/base/common/comparers.js
6399
- --- a/vs/base/common/comparers.js 2023-07-13 09:45:30.120864839 +0000
6400
- +++ b/vs/base/common/comparers.js 2023-07-13 09:47:10.140946119 +0000
6399
+ --- a/vs/base/common/comparers.js 2023-07-24 12:38:15.011683574 +0000
6400
+ +++ b/vs/base/common/comparers.js 2023-07-24 12:39:54.586700872 +0000
6401
6401
  @@ -3,6 +3,7 @@
6402
6402
  * Licensed under the MIT License. See License.txt in the project root for license information.
6403
6403
  *--------------------------------------------------------------------------------------------*/
@@ -6619,8 +6619,8 @@ diff -urN -x '*.map' a/vs/base/common/comparers.js b/vs/base/common/comparers.js
6619
6619
  const elementAName = one.toLowerCase();
6620
6620
  const elementBName = other.toLowerCase();
6621
6621
  diff -urN -x '*.map' a/vs/base/common/decorators.js b/vs/base/common/decorators.js
6622
- --- a/vs/base/common/decorators.js 2023-07-13 09:45:30.120864839 +0000
6623
- +++ b/vs/base/common/decorators.js 2023-07-13 09:47:10.136946118 +0000
6622
+ --- a/vs/base/common/decorators.js 2023-07-24 12:38:15.011683574 +0000
6623
+ +++ b/vs/base/common/decorators.js 2023-07-24 12:39:54.582700919 +0000
6624
6624
  @@ -1,3 +1,25 @@
6625
6625
  +/*---------------------------------------------------------------------------------------------
6626
6626
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -6709,8 +6709,8 @@ diff -urN -x '*.map' a/vs/base/common/decorators.js b/vs/base/common/decorators.
6709
6709
  + });
6710
6710
  +}
6711
6711
  diff -urN -x '*.map' a/vs/base/common/errorMessage.js b/vs/base/common/errorMessage.js
6712
- --- a/vs/base/common/errorMessage.js 2023-07-13 09:45:30.124864837 +0000
6713
- +++ b/vs/base/common/errorMessage.js 2023-07-13 09:47:10.140946119 +0000
6712
+ --- a/vs/base/common/errorMessage.js 2023-07-24 12:38:15.011683574 +0000
6713
+ +++ b/vs/base/common/errorMessage.js 2023-07-24 12:39:54.582700919 +0000
6714
6714
  @@ -66,3 +66,18 @@
6715
6715
  }
6716
6716
  return nls.localize('error.defaultMessage', "An unknown error occurred. Please consult the log for more details.");
@@ -6731,8 +6731,8 @@ diff -urN -x '*.map' a/vs/base/common/errorMessage.js b/vs/base/common/errorMess
6731
6731
  + return error;
6732
6732
  +}
6733
6733
  diff -urN -x '*.map' a/vs/base/common/errors.js b/vs/base/common/errors.js
6734
- --- a/vs/base/common/errors.js 2023-07-13 09:45:30.124864837 +0000
6735
- +++ b/vs/base/common/errors.js 2023-07-13 09:47:10.140946119 +0000
6734
+ --- a/vs/base/common/errors.js 2023-07-24 12:38:15.011683574 +0000
6735
+ +++ b/vs/base/common/errors.js 2023-07-24 12:39:54.582700919 +0000
6736
6736
  @@ -18,11 +18,26 @@
6737
6737
  }, 0);
6738
6738
  };
@@ -6835,8 +6835,8 @@ diff -urN -x '*.map' a/vs/base/common/errors.js b/vs/base/common/errors.js
6835
6835
  * Error that when thrown won't be logged in telemetry as an unhandled error.
6836
6836
  */
6837
6837
  diff -urN -x '*.map' a/vs/base/common/event.js b/vs/base/common/event.js
6838
- --- a/vs/base/common/event.js 2023-07-13 09:45:30.124864837 +0000
6839
- +++ b/vs/base/common/event.js 2023-07-13 09:47:10.136946118 +0000
6838
+ --- a/vs/base/common/event.js 2023-07-24 12:38:15.011683574 +0000
6839
+ +++ b/vs/base/common/event.js 2023-07-24 12:39:54.582700919 +0000
6840
6840
  @@ -1,3 +1,16 @@
6841
6841
  +/*---------------------------------------------------------------------------------------------
6842
6842
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -6927,8 +6927,8 @@ diff -urN -x '*.map' a/vs/base/common/event.js b/vs/base/common/event.js
6927
6927
  super(options);
6928
6928
  this._isPaused = 0;
6929
6929
  diff -urN -x '*.map' a/vs/base/common/extpath.js b/vs/base/common/extpath.js
6930
- --- a/vs/base/common/extpath.js 2023-07-13 09:45:30.124864837 +0000
6931
- +++ b/vs/base/common/extpath.js 2023-07-13 09:47:10.136946118 +0000
6930
+ --- a/vs/base/common/extpath.js 2023-07-24 12:38:15.011683574 +0000
6931
+ +++ b/vs/base/common/extpath.js 2023-07-24 12:39:54.582700919 +0000
6932
6932
  @@ -2,9 +2,10 @@
6933
6933
  * Copyright (c) Microsoft Corporation. All rights reserved.
6934
6934
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -7158,8 +7158,8 @@ diff -urN -x '*.map' a/vs/base/common/extpath.js b/vs/base/common/extpath.js
7158
7158
  + return randomFileName;
7159
7159
  +}
7160
7160
  diff -urN -x '*.map' a/vs/base/common/filters.js b/vs/base/common/filters.js
7161
- --- a/vs/base/common/filters.js 2023-07-13 09:45:30.124864837 +0000
7162
- +++ b/vs/base/common/filters.js 2023-07-13 09:47:10.136946118 +0000
7161
+ --- a/vs/base/common/filters.js 2023-07-24 12:38:15.011683574 +0000
7162
+ +++ b/vs/base/common/filters.js 2023-07-24 12:39:54.582700919 +0000
7163
7163
  @@ -308,6 +308,14 @@
7164
7164
  // Default Filter
7165
7165
  return enableSeparateSubstringMatching ? fuzzySeparateFilter(word, wordToMatchAgainst) : fuzzyContiguousFilter(word, wordToMatchAgainst);
@@ -7186,8 +7186,8 @@ diff -urN -x '*.map' a/vs/base/common/filters.js b/vs/base/common/filters.js
7186
7186
  let top = fuzzyScore(pattern, lowPattern, patternPos, word, lowWord, wordPos, options);
7187
7187
  if (top && !aggressive) {
7188
7188
  diff -urN -x '*.map' a/vs/base/common/fuzzyScorer.js b/vs/base/common/fuzzyScorer.js
7189
- --- a/vs/base/common/fuzzyScorer.js 2023-07-13 09:45:30.124864837 +0000
7190
- +++ b/vs/base/common/fuzzyScorer.js 2023-07-13 09:47:10.136946118 +0000
7189
+ --- a/vs/base/common/fuzzyScorer.js 2023-07-24 12:38:15.011683574 +0000
7190
+ +++ b/vs/base/common/fuzzyScorer.js 2023-07-24 12:39:54.582700919 +0000
7191
7191
  @@ -1,7 +1,216 @@
7192
7192
  -import { createMatches as createFuzzyMatches, fuzzyScore } from './filters.js';
7193
7193
  +/*---------------------------------------------------------------------------------------------
@@ -7718,8 +7718,8 @@ diff -urN -x '*.map' a/vs/base/common/fuzzyScorer.js b/vs/base/common/fuzzyScore
7718
7718
  * If a query is wrapped in quotes, the user does not want to
7719
7719
  * use fuzzy search for this query.
7720
7720
  diff -urN -x '*.map' a/vs/base/common/glob.js b/vs/base/common/glob.js
7721
- --- a/vs/base/common/glob.js 2023-07-13 09:45:30.124864837 +0000
7722
- +++ b/vs/base/common/glob.js 2023-07-13 09:47:10.136946118 +0000
7721
+ --- a/vs/base/common/glob.js 2023-07-24 12:38:15.011683574 +0000
7722
+ +++ b/vs/base/common/glob.js 2023-07-24 12:39:54.578700965 +0000
7723
7723
  @@ -1,3 +1,7 @@
7724
7724
  +/*---------------------------------------------------------------------------------------------
7725
7725
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -7774,8 +7774,8 @@ diff -urN -x '*.map' a/vs/base/common/glob.js b/vs/base/common/glob.js
7774
7774
  + });
7775
7775
  +}
7776
7776
  diff -urN -x '*.map' a/vs/base/common/hash.js b/vs/base/common/hash.js
7777
- --- a/vs/base/common/hash.js 2023-07-13 09:45:30.124864837 +0000
7778
- +++ b/vs/base/common/hash.js 2023-07-13 09:47:10.140946119 +0000
7777
+ --- a/vs/base/common/hash.js 2023-07-24 12:38:15.015683530 +0000
7778
+ +++ b/vs/base/common/hash.js 2023-07-24 12:39:54.582700919 +0000
7779
7779
  @@ -55,6 +55,18 @@
7780
7780
  return doHash(obj[key], hashVal);
7781
7781
  }, initialHashVal);
@@ -7796,8 +7796,8 @@ diff -urN -x '*.map' a/vs/base/common/hash.js b/vs/base/common/hash.js
7796
7796
  // delta + bits = totalBits
7797
7797
  const delta = totalBits - bits;
7798
7798
  diff -urN -x '*.map' a/vs/base/common/history.js b/vs/base/common/history.js
7799
- --- a/vs/base/common/history.js 2023-07-13 09:45:30.124864837 +0000
7800
- +++ b/vs/base/common/history.js 2023-07-13 09:47:10.140946119 +0000
7799
+ --- a/vs/base/common/history.js 2023-07-24 12:38:15.015683530 +0000
7800
+ +++ b/vs/base/common/history.js 2023-07-24 12:39:54.582700919 +0000
7801
7801
  @@ -36,6 +36,9 @@
7802
7802
  last() {
7803
7803
  return this._navigator.last();
@@ -7933,7 +7933,7 @@ diff -urN -x '*.map' a/vs/base/common/history.js b/vs/base/common/history.js
7933
7933
  +}
7934
7934
  diff -urN -x '*.map' a/vs/base/common/json.js b/vs/base/common/json.js
7935
7935
  --- a/vs/base/common/json.js 1970-01-01 00:00:00.000000000 +0000
7936
- +++ b/vs/base/common/json.js 2023-07-13 09:47:10.140946119 +0000
7936
+ +++ b/vs/base/common/json.js 2023-07-24 12:39:54.582700919 +0000
7937
7937
  @@ -0,0 +1,967 @@
7938
7938
  +/*---------------------------------------------------------------------------------------------
7939
7939
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -8903,8 +8903,8 @@ diff -urN -x '*.map' a/vs/base/common/json.js b/vs/base/common/json.js
8903
8903
  + }
8904
8904
  +}
8905
8905
  diff -urN -x '*.map' a/vs/base/common/keyCodes.js b/vs/base/common/keyCodes.js
8906
- --- a/vs/base/common/keyCodes.js 2023-07-13 09:45:30.128864835 +0000
8907
- +++ b/vs/base/common/keyCodes.js 2023-07-13 09:47:10.140946119 +0000
8906
+ --- a/vs/base/common/keyCodes.js 2023-07-24 12:38:15.015683530 +0000
8907
+ +++ b/vs/base/common/keyCodes.js 2023-07-24 12:39:54.582700919 +0000
8908
8908
  @@ -26,6 +26,11 @@
8909
8909
  const scanCodeIntToStr = [];
8910
8910
  const scanCodeStrToInt = Object.create(null);
@@ -8918,8 +8918,8 @@ diff -urN -x '*.map' a/vs/base/common/keyCodes.js b/vs/base/common/keyCodes.js
8918
8918
  * -1 if a ScanCode => KeyCode mapping depends on kb layout.
8919
8919
  */
8920
8920
  diff -urN -x '*.map' a/vs/base/common/keybindings.js b/vs/base/common/keybindings.js
8921
- --- a/vs/base/common/keybindings.js 2023-07-13 09:45:30.128864835 +0000
8922
- +++ b/vs/base/common/keybindings.js 2023-07-13 09:47:10.140946119 +0000
8921
+ --- a/vs/base/common/keybindings.js 2023-07-24 12:38:15.015683530 +0000
8922
+ +++ b/vs/base/common/keybindings.js 2023-07-24 12:39:54.582700919 +0000
8923
8923
  @@ -56,6 +56,13 @@
8924
8924
  && this.metaKey === other.metaKey
8925
8925
  && this.keyCode === other.keyCode);
@@ -8998,8 +8998,8 @@ diff -urN -x '*.map' a/vs/base/common/keybindings.js b/vs/base/common/keybinding
8998
8998
  export class ResolvedChord {
8999
8999
  constructor(ctrlKey, shiftKey, altKey, metaKey, keyLabel, keyAriaLabel) {
9000
9000
  diff -urN -x '*.map' a/vs/base/common/labels.js b/vs/base/common/labels.js
9001
- --- a/vs/base/common/labels.js 2023-07-13 09:45:30.128864835 +0000
9002
- +++ b/vs/base/common/labels.js 2023-07-13 09:47:10.136946118 +0000
9001
+ --- a/vs/base/common/labels.js 2023-07-24 12:38:15.015683530 +0000
9002
+ +++ b/vs/base/common/labels.js 2023-07-24 12:39:54.582700919 +0000
9003
9003
  @@ -1,5 +1,90 @@
9004
9004
  -import { hasDriveLetter } from './extpath.js';
9005
9005
  -import { isWindows } from './platform.js';
@@ -9357,8 +9357,8 @@ diff -urN -x '*.map' a/vs/base/common/labels.js b/vs/base/common/labels.js
9357
9357
  + return { name: parentPath, parentPath: '' };
9358
9358
  +}
9359
9359
  diff -urN -x '*.map' a/vs/base/common/lazy.js b/vs/base/common/lazy.js
9360
- --- a/vs/base/common/lazy.js 2023-07-13 09:45:30.128864835 +0000
9361
- +++ b/vs/base/common/lazy.js 2023-07-13 09:47:10.140946119 +0000
9360
+ --- a/vs/base/common/lazy.js 2023-07-24 12:38:15.015683530 +0000
9361
+ +++ b/vs/base/common/lazy.js 2023-07-24 12:39:54.582700919 +0000
9362
9362
  @@ -8,6 +8,10 @@
9363
9363
  this._didRun = false;
9364
9364
  }
@@ -9371,8 +9371,8 @@ diff -urN -x '*.map' a/vs/base/common/lazy.js b/vs/base/common/lazy.js
9371
9371
  *
9372
9372
  * This will force evaluation of the lazy value if it has not been resolved yet. Lazy values are only
9373
9373
  diff -urN -x '*.map' a/vs/base/common/lifecycle.js b/vs/base/common/lifecycle.js
9374
- --- a/vs/base/common/lifecycle.js 2023-07-13 09:45:30.128864835 +0000
9375
- +++ b/vs/base/common/lifecycle.js 2023-07-13 09:47:10.140946119 +0000
9374
+ --- a/vs/base/common/lifecycle.js 2023-07-24 12:38:15.015683530 +0000
9375
+ +++ b/vs/base/common/lifecycle.js 2023-07-24 12:39:54.582700919 +0000
9376
9376
  @@ -2,6 +2,15 @@
9377
9377
  * Copyright (c) Microsoft Corporation. All rights reserved.
9378
9378
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -9502,8 +9502,8 @@ diff -urN -x '*.map' a/vs/base/common/lifecycle.js b/vs/base/common/lifecycle.js
9502
9502
  return this._store.get(key);
9503
9503
  }
9504
9504
  diff -urN -x '*.map' a/vs/base/common/map.js b/vs/base/common/map.js
9505
- --- a/vs/base/common/map.js 2023-07-13 09:45:30.128864835 +0000
9506
- +++ b/vs/base/common/map.js 2023-07-13 09:47:10.132946117 +0000
9505
+ --- a/vs/base/common/map.js 2023-07-24 12:38:15.015683530 +0000
9506
+ +++ b/vs/base/common/map.js 2023-07-24 12:39:54.578700965 +0000
9507
9507
  @@ -2,7 +2,29 @@
9508
9508
  * Copyright (c) Microsoft Corporation. All rights reserved.
9509
9509
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -9671,8 +9671,8 @@ diff -urN -x '*.map' a/vs/base/common/map.js b/vs/base/common/map.js
9671
9671
  + }
9672
9672
  +}
9673
9673
  diff -urN -x '*.map' a/vs/base/common/mime.js b/vs/base/common/mime.js
9674
- --- a/vs/base/common/mime.js 2023-07-13 09:45:30.132864833 +0000
9675
- +++ b/vs/base/common/mime.js 2023-07-13 09:47:10.140946119 +0000
9674
+ --- a/vs/base/common/mime.js 2023-07-24 12:38:15.019683487 +0000
9675
+ +++ b/vs/base/common/mime.js 2023-07-24 12:39:54.586700872 +0000
9676
9676
  @@ -1,3 +1,8 @@
9677
9677
  +/*---------------------------------------------------------------------------------------------
9678
9678
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -9785,8 +9785,8 @@ diff -urN -x '*.map' a/vs/base/common/mime.js b/vs/base/common/mime.js
9785
9785
  + return `${match[1].toLowerCase()}/${match[2].toLowerCase()}${(_a = match[3]) !== null && _a !== void 0 ? _a : ''}`;
9786
9786
  +}
9787
9787
  diff -urN -x '*.map' a/vs/base/common/network.js b/vs/base/common/network.js
9788
- --- a/vs/base/common/network.js 2023-07-13 09:45:30.132864833 +0000
9789
- +++ b/vs/base/common/network.js 2023-07-13 09:47:10.136946118 +0000
9788
+ --- a/vs/base/common/network.js 2023-07-24 12:38:15.019683487 +0000
9789
+ +++ b/vs/base/common/network.js 2023-07-24 12:39:54.578700965 +0000
9790
9790
  @@ -78,6 +78,7 @@
9791
9791
  */
9792
9792
  Schemas.vscodeSourceControl = 'vscode-scm';
@@ -9887,8 +9887,8 @@ diff -urN -x '*.map' a/vs/base/common/network.js b/vs/base/common/network.js
9887
9887
  FileAccessImpl.FALLBACK_AUTHORITY = 'vscode-app';
9888
9888
  export const FileAccess = new FileAccessImpl();
9889
9889
  diff -urN -x '*.map' a/vs/base/common/numbers.js b/vs/base/common/numbers.js
9890
- --- a/vs/base/common/numbers.js 2023-07-13 09:45:30.132864833 +0000
9891
- +++ b/vs/base/common/numbers.js 2023-07-13 09:47:10.140946119 +0000
9890
+ --- a/vs/base/common/numbers.js 2023-07-24 12:38:15.019683487 +0000
9891
+ +++ b/vs/base/common/numbers.js 2023-07-24 12:39:54.582700919 +0000
9892
9892
  @@ -5,6 +5,17 @@
9893
9893
  export function clamp(value, min, max) {
9894
9894
  return Math.min(Math.max(value, min), max);
@@ -9908,8 +9908,8 @@ diff -urN -x '*.map' a/vs/base/common/numbers.js b/vs/base/common/numbers.js
9908
9908
  constructor() {
9909
9909
  this._n = 1;
9910
9910
  diff -urN -x '*.map' a/vs/base/common/objects.js b/vs/base/common/objects.js
9911
- --- a/vs/base/common/objects.js 2023-07-13 09:45:30.132864833 +0000
9912
- +++ b/vs/base/common/objects.js 2023-07-13 09:47:10.136946118 +0000
9911
+ --- a/vs/base/common/objects.js 2023-07-24 12:38:15.019683487 +0000
9912
+ +++ b/vs/base/common/objects.js 2023-07-24 12:39:54.582700919 +0000
9913
9913
  @@ -147,6 +147,64 @@
9914
9914
  }
9915
9915
  return true;
@@ -9976,8 +9976,8 @@ diff -urN -x '*.map' a/vs/base/common/objects.js b/vs/base/common/objects.js
9976
9976
  let res = [];
9977
9977
  let proto = Object.getPrototypeOf(obj);
9978
9978
  diff -urN -x '*.map' a/vs/base/common/observable.js b/vs/base/common/observable.js
9979
- --- a/vs/base/common/observable.js 2023-07-13 09:45:30.132864833 +0000
9980
- +++ b/vs/base/common/observable.js 2023-07-13 09:47:10.136946118 +0000
9979
+ --- a/vs/base/common/observable.js 2023-07-24 12:38:15.019683487 +0000
9980
+ +++ b/vs/base/common/observable.js 2023-07-24 12:39:54.582700919 +0000
9981
9981
  @@ -2,9 +2,9 @@
9982
9982
  * Copyright (c) Microsoft Corporation. All rights reserved.
9983
9983
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -9992,8 +9992,8 @@ diff -urN -x '*.map' a/vs/base/common/observable.js b/vs/base/common/observable.
9992
9992
  import { ConsoleObservableLogger, setLogger } from './observableImpl/logging.js';
9993
9993
  const enableLogging = false;
9994
9994
  diff -urN -x '*.map' a/vs/base/common/observableImpl/autorun.js b/vs/base/common/observableImpl/autorun.js
9995
- --- a/vs/base/common/observableImpl/autorun.js 2023-07-13 09:45:30.120864839 +0000
9996
- +++ b/vs/base/common/observableImpl/autorun.js 2023-07-13 09:47:10.136946118 +0000
9995
+ --- a/vs/base/common/observableImpl/autorun.js 2023-07-24 12:38:15.007683618 +0000
9996
+ +++ b/vs/base/common/observableImpl/autorun.js 2023-07-24 12:39:54.582700919 +0000
9997
9997
  @@ -8,10 +8,27 @@
9998
9998
  export function autorun(debugName, fn) {
9999
9999
  return new AutorunObserver(debugName, fn, undefined, undefined);
@@ -10036,8 +10036,8 @@ diff -urN -x '*.map' a/vs/base/common/observableImpl/autorun.js b/vs/base/common
10036
10036
  + });
10037
10037
  +}
10038
10038
  diff -urN -x '*.map' a/vs/base/common/observableImpl/utils.js b/vs/base/common/observableImpl/utils.js
10039
- --- a/vs/base/common/observableImpl/utils.js 2023-07-13 09:45:30.120864839 +0000
10040
- +++ b/vs/base/common/observableImpl/utils.js 2023-07-13 09:47:10.136946118 +0000
10039
+ --- a/vs/base/common/observableImpl/utils.js 2023-07-24 12:38:15.007683618 +0000
10040
+ +++ b/vs/base/common/observableImpl/utils.js 2023-07-24 12:39:54.582700919 +0000
10041
10041
  @@ -3,7 +3,9 @@
10042
10042
  * Licensed under the MIT License. See License.txt in the project root for license information.
10043
10043
  *--------------------------------------------------------------------------------------------*/
@@ -10150,8 +10150,8 @@ diff -urN -x '*.map' a/vs/base/common/observableImpl/utils.js b/vs/base/common/o
10150
10150
  + });
10151
10151
  +}
10152
10152
  diff -urN -x '*.map' a/vs/base/common/paging.js b/vs/base/common/paging.js
10153
- --- a/vs/base/common/paging.js 2023-07-13 09:45:30.132864833 +0000
10154
- +++ b/vs/base/common/paging.js 2023-07-13 09:47:10.136946118 +0000
10153
+ --- a/vs/base/common/paging.js 2023-07-24 12:38:15.019683487 +0000
10154
+ +++ b/vs/base/common/paging.js 2023-07-24 12:39:54.582700919 +0000
10155
10155
  @@ -1 +1,130 @@
10156
10156
  -export {};
10157
10157
  +/*---------------------------------------------------------------------------------------------
@@ -10285,8 +10285,8 @@ diff -urN -x '*.map' a/vs/base/common/paging.js b/vs/base/common/paging.js
10285
10285
  + };
10286
10286
  +}
10287
10287
  diff -urN -x '*.map' a/vs/base/common/path.js b/vs/base/common/path.js
10288
- --- a/vs/base/common/path.js 2023-07-13 09:45:30.132864833 +0000
10289
- +++ b/vs/base/common/path.js 2023-07-13 09:47:10.140946119 +0000
10288
+ --- a/vs/base/common/path.js 2023-07-24 12:38:15.019683487 +0000
10289
+ +++ b/vs/base/common/path.js 2023-07-24 12:39:54.586700872 +0000
10290
10290
  @@ -1385,9 +1385,15 @@
10291
10291
  posix.win32 = win32.win32 = win32;
10292
10292
  posix.posix = win32.posix = posix;
@@ -10305,7 +10305,7 @@ diff -urN -x '*.map' a/vs/base/common/path.js b/vs/base/common/path.js
10305
10305
  +export const delimiter = (platformIsWin32 ? win32.delimiter : posix.delimiter);
10306
10306
  diff -urN -x '*.map' a/vs/base/common/performance.js b/vs/base/common/performance.js
10307
10307
  --- a/vs/base/common/performance.js 1970-01-01 00:00:00.000000000 +0000
10308
- +++ b/vs/base/common/performance.js 2023-07-13 09:47:10.136946118 +0000
10308
+ +++ b/vs/base/common/performance.js 2023-07-24 12:39:54.582700919 +0000
10309
10309
  @@ -0,0 +1,149 @@
10310
10310
  +/*---------------------------------------------------------------------------------------------
10311
10311
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -10457,8 +10457,8 @@ diff -urN -x '*.map' a/vs/base/common/performance.js b/vs/base/common/performanc
10457
10457
  +};
10458
10458
  +// ESM-uncomment-end
10459
10459
  diff -urN -x '*.map' a/vs/base/common/platform.js b/vs/base/common/platform.js
10460
- --- a/vs/base/common/platform.js 2023-07-13 09:45:30.136864831 +0000
10461
- +++ b/vs/base/common/platform.js 2023-07-13 09:47:10.136946118 +0000
10460
+ --- a/vs/base/common/platform.js 2023-07-24 12:38:15.019683487 +0000
10461
+ +++ b/vs/base/common/platform.js 2023-07-24 12:39:54.582700919 +0000
10462
10462
  @@ -84,6 +84,14 @@
10463
10463
  else {
10464
10464
  console.error('Unable to resolve platform.');
@@ -10542,8 +10542,8 @@ diff -urN -x '*.map' a/vs/base/common/platform.js b/vs/base/common/platform.js
10542
10542
  /**
10543
10543
  * See https://html.spec.whatwg.org/multipage/timers-and-user-prompts.html#:~:text=than%204%2C%20then-,set%20timeout%20to%204,-.
10544
10544
  diff -urN -x '*.map' a/vs/base/common/process.js b/vs/base/common/process.js
10545
- --- a/vs/base/common/process.js 2023-07-13 09:45:30.136864831 +0000
10546
- +++ b/vs/base/common/process.js 2023-07-13 09:47:10.140946119 +0000
10545
+ --- a/vs/base/common/process.js 2023-07-24 12:38:15.019683487 +0000
10546
+ +++ b/vs/base/common/process.js 2023-07-24 12:39:54.582700919 +0000
10547
10547
  @@ -53,3 +53,9 @@
10548
10548
  * environments.
10549
10549
  */
@@ -10556,7 +10556,7 @@ diff -urN -x '*.map' a/vs/base/common/process.js b/vs/base/common/process.js
10556
10556
  +export const arch = safeProcess.arch;
10557
10557
  diff -urN -x '*.map' a/vs/base/common/product.js b/vs/base/common/product.js
10558
10558
  --- a/vs/base/common/product.js 1970-01-01 00:00:00.000000000 +0000
10559
- +++ b/vs/base/common/product.js 2023-07-13 09:47:10.136946118 +0000
10559
+ +++ b/vs/base/common/product.js 2023-07-24 12:39:54.582700919 +0000
10560
10560
  @@ -0,0 +1,5 @@
10561
10561
  +/*---------------------------------------------------------------------------------------------
10562
10562
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -10564,8 +10564,8 @@ diff -urN -x '*.map' a/vs/base/common/product.js b/vs/base/common/product.js
10564
10564
  + *--------------------------------------------------------------------------------------------*/
10565
10565
  +export {};
10566
10566
  diff -urN -x '*.map' a/vs/base/common/resources.js b/vs/base/common/resources.js
10567
- --- a/vs/base/common/resources.js 2023-07-13 09:45:30.136864831 +0000
10568
- +++ b/vs/base/common/resources.js 2023-07-13 09:47:10.140946119 +0000
10567
+ --- a/vs/base/common/resources.js 2023-07-24 12:38:15.019683487 +0000
10568
+ +++ b/vs/base/common/resources.js 2023-07-24 12:39:54.582700919 +0000
10569
10569
  @@ -36,6 +36,9 @@
10570
10570
  fragment: ignoreFragment ? null : undefined
10571
10571
  }).toString();
@@ -10615,8 +10615,8 @@ diff -urN -x '*.map' a/vs/base/common/resources.js b/vs/base/common/resources.js
10615
10615
  + return resource.with({ scheme: localScheme });
10616
10616
  +}
10617
10617
  diff -urN -x '*.map' a/vs/base/common/sequence.js b/vs/base/common/sequence.js
10618
- --- a/vs/base/common/sequence.js 2023-07-13 09:45:30.136864831 +0000
10619
- +++ b/vs/base/common/sequence.js 2023-07-13 09:47:10.136946118 +0000
10618
+ --- a/vs/base/common/sequence.js 2023-07-24 12:38:15.019683487 +0000
10619
+ +++ b/vs/base/common/sequence.js 2023-07-24 12:39:54.582700919 +0000
10620
10620
  @@ -1 +1,16 @@
10621
10621
  -export {};
10622
10622
  +/*---------------------------------------------------------------------------------------------
@@ -10636,8 +10636,8 @@ diff -urN -x '*.map' a/vs/base/common/sequence.js b/vs/base/common/sequence.js
10636
10636
  + }
10637
10637
  +}
10638
10638
  diff -urN -x '*.map' a/vs/base/common/stopwatch.js b/vs/base/common/stopwatch.js
10639
- --- a/vs/base/common/stopwatch.js 2023-07-13 09:45:30.136864831 +0000
10640
- +++ b/vs/base/common/stopwatch.js 2023-07-13 09:47:10.140946119 +0000
10639
+ --- a/vs/base/common/stopwatch.js 2023-07-24 12:38:15.023683443 +0000
10640
+ +++ b/vs/base/common/stopwatch.js 2023-07-24 12:39:54.582700919 +0000
10641
10641
  @@ -16,6 +16,10 @@
10642
10642
  stop() {
10643
10643
  this._stopTime = this._now();
@@ -10651,7 +10651,7 @@ diff -urN -x '*.map' a/vs/base/common/stopwatch.js b/vs/base/common/stopwatch.js
10651
10651
  return this._stopTime - this._startTime;
10652
10652
  diff -urN -x '*.map' a/vs/base/common/stream.js b/vs/base/common/stream.js
10653
10653
  --- a/vs/base/common/stream.js 1970-01-01 00:00:00.000000000 +0000
10654
- +++ b/vs/base/common/stream.js 2023-07-13 09:47:10.136946118 +0000
10654
+ +++ b/vs/base/common/stream.js 2023-07-24 12:39:54.582700919 +0000
10655
10655
  @@ -0,0 +1,463 @@
10656
10656
  +/*---------------------------------------------------------------------------------------------
10657
10657
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -11117,8 +11117,8 @@ diff -urN -x '*.map' a/vs/base/common/stream.js b/vs/base/common/stream.js
11117
11117
  + return target;
11118
11118
  +}
11119
11119
  diff -urN -x '*.map' a/vs/base/common/strings.js b/vs/base/common/strings.js
11120
- --- a/vs/base/common/strings.js 2023-07-13 09:45:30.136864831 +0000
11121
- +++ b/vs/base/common/strings.js 2023-07-13 09:47:10.136946118 +0000
11120
+ --- a/vs/base/common/strings.js 2023-07-24 12:38:15.023683443 +0000
11121
+ +++ b/vs/base/common/strings.js 2023-07-24 12:39:54.578700965 +0000
11122
11122
  @@ -29,6 +29,14 @@
11123
11123
  args[idx];
11124
11124
  });
@@ -11320,8 +11320,8 @@ diff -urN -x '*.map' a/vs/base/common/strings.js b/vs/base/common/strings.js
11320
11320
  // http://www.unicode.org/reports/tr29/#Grapheme_Cluster_Boundary_Rules
11321
11321
  // !!! Let's make the common case a bit faster
11322
11322
  diff -urN -x '*.map' a/vs/base/common/ternarySearchTree.js b/vs/base/common/ternarySearchTree.js
11323
- --- a/vs/base/common/ternarySearchTree.js 2023-07-13 09:45:30.140864829 +0000
11324
- +++ b/vs/base/common/ternarySearchTree.js 2023-07-13 09:47:10.140946119 +0000
11323
+ --- a/vs/base/common/ternarySearchTree.js 2023-07-24 12:38:15.023683443 +0000
11324
+ +++ b/vs/base/common/ternarySearchTree.js 2023-07-24 12:39:54.582700919 +0000
11325
11325
  @@ -1,3 +1,8 @@
11326
11326
  +/*---------------------------------------------------------------------------------------------
11327
11327
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -11404,8 +11404,8 @@ diff -urN -x '*.map' a/vs/base/common/ternarySearchTree.js b/vs/base/common/tern
11404
11404
  + }
11405
11405
  }
11406
11406
  diff -urN -x '*.map' a/vs/base/common/themables.js b/vs/base/common/themables.js
11407
- --- a/vs/base/common/themables.js 2023-07-13 09:45:30.140864829 +0000
11408
- +++ b/vs/base/common/themables.js 2023-07-13 09:47:10.136946118 +0000
11407
+ --- a/vs/base/common/themables.js 2023-07-24 12:38:15.023683443 +0000
11408
+ +++ b/vs/base/common/themables.js 2023-07-24 12:39:54.582700919 +0000
11409
11409
  @@ -10,6 +10,9 @@
11410
11410
  }
11411
11411
  ThemeColor.isThemeColor = isThemeColor;
@@ -11417,8 +11417,8 @@ diff -urN -x '*.map' a/vs/base/common/themables.js b/vs/base/common/themables.js
11417
11417
  (function (ThemeIcon) {
11418
11418
  ThemeIcon.iconNameSegment = '[A-Za-z0-9]+';
11419
11419
  diff -urN -x '*.map' a/vs/base/common/types.js b/vs/base/common/types.js
11420
- --- a/vs/base/common/types.js 2023-07-13 09:45:30.140864829 +0000
11421
- +++ b/vs/base/common/types.js 2023-07-13 09:47:10.140946119 +0000
11420
+ --- a/vs/base/common/types.js 2023-07-24 12:38:15.023683443 +0000
11421
+ +++ b/vs/base/common/types.js 2023-07-24 12:39:54.582700919 +0000
11422
11422
  @@ -9,6 +9,12 @@
11423
11423
  return (typeof str === 'string');
11424
11424
  }
@@ -11478,8 +11478,8 @@ diff -urN -x '*.map' a/vs/base/common/types.js b/vs/base/common/types.js
11478
11478
  const len = Math.min(args.length, constraints.length);
11479
11479
  for (let i = 0; i < len; i++) {
11480
11480
  diff -urN -x '*.map' a/vs/base/common/uri.js b/vs/base/common/uri.js
11481
- --- a/vs/base/common/uri.js 2023-07-13 09:45:30.140864829 +0000
11482
- +++ b/vs/base/common/uri.js 2023-07-13 09:47:10.140946119 +0000
11481
+ --- a/vs/base/common/uri.js 2023-07-24 12:38:15.023683443 +0000
11482
+ +++ b/vs/base/common/uri.js 2023-07-24 12:39:54.582700919 +0000
11483
11483
  @@ -323,6 +323,16 @@
11484
11484
  }
11485
11485
  }
@@ -11498,8 +11498,8 @@ diff -urN -x '*.map' a/vs/base/common/uri.js b/vs/base/common/uri.js
11498
11498
  // This class exists so that URI is compatible with vscode.Uri (API).
11499
11499
  class Uri extends URI {
11500
11500
  diff -urN -x '*.map' a/vs/base/common/uuid.js b/vs/base/common/uuid.js
11501
- --- a/vs/base/common/uuid.js 2023-07-13 09:45:30.140864829 +0000
11502
- +++ b/vs/base/common/uuid.js 2023-07-13 09:47:10.136946118 +0000
11501
+ --- a/vs/base/common/uuid.js 2023-07-24 12:38:15.023683443 +0000
11502
+ +++ b/vs/base/common/uuid.js 2023-07-24 12:39:54.582700919 +0000
11503
11503
  @@ -1,3 +1,11 @@
11504
11504
  +/*---------------------------------------------------------------------------------------------
11505
11505
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -11514,7 +11514,7 @@ diff -urN -x '*.map' a/vs/base/common/uuid.js b/vs/base/common/uuid.js
11514
11514
  if (typeof crypto === 'object' && typeof crypto.randomUUID === 'function') {
11515
11515
  diff -urN -x '*.map' a/vs/base/parts/sandbox/common/electronTypes.js b/vs/base/parts/sandbox/common/electronTypes.js
11516
11516
  --- a/vs/base/parts/sandbox/common/electronTypes.js 1970-01-01 00:00:00.000000000 +0000
11517
- +++ b/vs/base/parts/sandbox/common/electronTypes.js 2023-07-13 09:47:10.140946119 +0000
11517
+ +++ b/vs/base/parts/sandbox/common/electronTypes.js 2023-07-24 12:39:54.586700872 +0000
11518
11518
  @@ -0,0 +1,5 @@
11519
11519
  +/*---------------------------------------------------------------------------------------------
11520
11520
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -11522,8 +11522,8 @@ diff -urN -x '*.map' a/vs/base/parts/sandbox/common/electronTypes.js b/vs/base/p
11522
11522
  + *--------------------------------------------------------------------------------------------*/
11523
11523
  +export {};
11524
11524
  diff -urN -x '*.map' a/vs/base/parts/storage/common/storage.js b/vs/base/parts/storage/common/storage.js
11525
- --- a/vs/base/parts/storage/common/storage.js 2023-07-13 09:45:30.140864829 +0000
11526
- +++ b/vs/base/parts/storage/common/storage.js 2023-07-13 09:47:10.140946119 +0000
11525
+ --- a/vs/base/parts/storage/common/storage.js 2023-07-24 12:38:15.023683443 +0000
11526
+ +++ b/vs/base/parts/storage/common/storage.js 2023-07-24 12:39:54.586700872 +0000
11527
11527
  @@ -14,7 +14,7 @@
11528
11528
  import { ThrottledDelayer } from '../../../common/async.js';
11529
11529
  import { Emitter, Event } from '../../../common/event.js';
@@ -11680,8 +11680,8 @@ diff -urN -x '*.map' a/vs/base/parts/storage/common/storage.js b/vs/base/parts/s
11680
11680
  + }
11681
11681
  }
11682
11682
  diff -urN -x '*.map' a/vs/editor/browser/config/editorConfiguration.js b/vs/editor/browser/config/editorConfiguration.js
11683
- --- a/vs/editor/browser/config/editorConfiguration.js 2023-07-13 09:45:30.036864881 +0000
11684
- +++ b/vs/editor/browser/config/editorConfiguration.js 2023-07-13 09:47:10.060946096 +0000
11683
+ --- a/vs/editor/browser/config/editorConfiguration.js 2023-07-24 12:38:14.943684316 +0000
11684
+ +++ b/vs/editor/browser/config/editorConfiguration.js 2023-07-24 12:39:54.494701939 +0000
11685
11685
  @@ -211,7 +211,7 @@
11686
11686
  this._values[id] = value;
11687
11687
  }
@@ -11692,8 +11692,8 @@ diff -urN -x '*.map' a/vs/editor/browser/config/editorConfiguration.js b/vs/edit
11692
11692
  const result = new ValidatedEditorOptions();
11693
11693
  for (const editorOption of editorOptionsRegistry) {
11694
11694
  diff -urN -x '*.map' a/vs/editor/browser/config/fontMeasurements.js b/vs/editor/browser/config/fontMeasurements.js
11695
- --- a/vs/editor/browser/config/fontMeasurements.js 2023-07-13 09:45:30.036864881 +0000
11696
- +++ b/vs/editor/browser/config/fontMeasurements.js 2023-07-13 09:47:10.060946096 +0000
11695
+ --- a/vs/editor/browser/config/fontMeasurements.js 2023-07-24 12:38:14.943684316 +0000
11696
+ +++ b/vs/editor/browser/config/fontMeasurements.js 2023-07-24 12:39:54.494701939 +0000
11697
11697
  @@ -7,7 +7,7 @@
11698
11698
  import { Disposable } from '../../../base/common/lifecycle.js';
11699
11699
  import { CharWidthRequest, readCharWidths } from './charWidthReader.js';
@@ -11733,8 +11733,8 @@ diff -urN -x '*.map' a/vs/editor/browser/config/fontMeasurements.js b/vs/editor/
11733
11733
  */
11734
11734
  readFontInfo(bareFontInfo) {
11735
11735
  diff -urN -x '*.map' a/vs/editor/browser/controller/mouseHandler.js b/vs/editor/browser/controller/mouseHandler.js
11736
- --- a/vs/editor/browser/controller/mouseHandler.js 2023-07-13 09:45:30.028864886 +0000
11737
- +++ b/vs/editor/browser/controller/mouseHandler.js 2023-07-13 09:47:10.052946093 +0000
11736
+ --- a/vs/editor/browser/controller/mouseHandler.js 2023-07-24 12:38:14.939684360 +0000
11737
+ +++ b/vs/editor/browser/controller/mouseHandler.js 2023-07-24 12:39:54.490701986 +0000
11738
11738
  @@ -249,6 +249,9 @@
11739
11739
  target: t
11740
11740
  });
@@ -11746,8 +11746,8 @@ diff -urN -x '*.map' a/vs/editor/browser/controller/mouseHandler.js b/vs/editor/
11746
11746
  class MouseDownOperation extends Disposable {
11747
11747
  constructor(_context, _viewController, _viewHelper, _mouseTargetFactory, createMouseTarget, getMouseColumn) {
11748
11748
  diff -urN -x '*.map' a/vs/editor/browser/controller/textAreaHandler.js b/vs/editor/browser/controller/textAreaHandler.js
11749
- --- a/vs/editor/browser/controller/textAreaHandler.js 2023-07-13 09:45:30.032864883 +0000
11750
- +++ b/vs/editor/browser/controller/textAreaHandler.js 2023-07-13 09:47:10.052946093 +0000
11749
+ --- a/vs/editor/browser/controller/textAreaHandler.js 2023-07-24 12:38:14.939684360 +0000
11750
+ +++ b/vs/editor/browser/controller/textAreaHandler.js 2023-07-24 12:39:54.490701986 +0000
11751
11751
  @@ -515,6 +515,9 @@
11752
11752
  focusTextArea() {
11753
11753
  this._textAreaInput.focusTextArea();
@@ -11759,8 +11759,8 @@ diff -urN -x '*.map' a/vs/editor/browser/controller/textAreaHandler.js b/vs/edit
11759
11759
  return this._lastRenderPosition;
11760
11760
  }
11761
11761
  diff -urN -x '*.map' a/vs/editor/browser/controller/textAreaInput.js b/vs/editor/browser/controller/textAreaInput.js
11762
- --- a/vs/editor/browser/controller/textAreaInput.js 2023-07-13 09:45:30.032864883 +0000
11763
- +++ b/vs/editor/browser/controller/textAreaInput.js 2023-07-13 09:47:10.052946093 +0000
11762
+ --- a/vs/editor/browser/controller/textAreaInput.js 2023-07-24 12:38:14.939684360 +0000
11763
+ +++ b/vs/editor/browser/controller/textAreaInput.js 2023-07-24 12:39:54.490701986 +0000
11764
11764
  @@ -309,6 +309,10 @@
11765
11765
  }
11766
11766
  }));
@@ -11781,8 +11781,8 @@ diff -urN -x '*.map' a/vs/editor/browser/controller/textAreaInput.js b/vs/editor
11781
11781
  this.onCompositionStart = this._register(new DomEmitter(this._actual, 'compositionstart')).event;
11782
11782
  this.onCompositionUpdate = this._register(new DomEmitter(this._actual, 'compositionupdate')).event;
11783
11783
  diff -urN -x '*.map' a/vs/editor/browser/editorBrowser.js b/vs/editor/browser/editorBrowser.js
11784
- --- a/vs/editor/browser/editorBrowser.js 2023-07-13 09:45:30.040864879 +0000
11785
- +++ b/vs/editor/browser/editorBrowser.js 2023-07-13 09:47:10.056946094 +0000
11784
+ --- a/vs/editor/browser/editorBrowser.js 2023-07-24 12:38:14.943684316 +0000
11785
+ +++ b/vs/editor/browser/editorBrowser.js 2023-07-24 12:39:54.494701939 +0000
11786
11786
  @@ -48,3 +48,12 @@
11787
11787
  }
11788
11788
  return null;
@@ -11797,8 +11797,8 @@ diff -urN -x '*.map' a/vs/editor/browser/editorBrowser.js b/vs/editor/browser/ed
11797
11797
  + return null;
11798
11798
  +}
11799
11799
  diff -urN -x '*.map' a/vs/editor/browser/editorExtensions.js b/vs/editor/browser/editorExtensions.js
11800
- --- a/vs/editor/browser/editorExtensions.js 2023-07-13 09:45:30.040864879 +0000
11801
- +++ b/vs/editor/browser/editorExtensions.js 2023-07-13 09:47:10.060946096 +0000
11800
+ --- a/vs/editor/browser/editorExtensions.js 2023-07-24 12:38:14.947684273 +0000
11801
+ +++ b/vs/editor/browser/editorExtensions.js 2023-07-24 12:39:54.494701939 +0000
11802
11802
  @@ -324,6 +324,13 @@
11803
11803
  export function registerEditorContribution(id, ctor, instantiation) {
11804
11804
  EditorContributionRegistry.INSTANCE.registerEditorContribution(id, ctor, instantiation);
@@ -11824,8 +11824,8 @@ diff -urN -x '*.map' a/vs/editor/browser/editorExtensions.js b/vs/editor/browser
11824
11824
  return this.diffEditorContributions.slice(0);
11825
11825
  }
11826
11826
  diff -urN -x '*.map' a/vs/editor/browser/services/abstractCodeEditorService.js b/vs/editor/browser/services/abstractCodeEditorService.js
11827
- --- a/vs/editor/browser/services/abstractCodeEditorService.js 2023-07-13 09:45:30.032864883 +0000
11828
- +++ b/vs/editor/browser/services/abstractCodeEditorService.js 2023-07-13 09:47:10.052946093 +0000
11827
+ --- a/vs/editor/browser/services/abstractCodeEditorService.js 2023-07-24 12:38:14.939684360 +0000
11828
+ +++ b/vs/editor/browser/services/abstractCodeEditorService.js 2023-07-24 12:39:54.490701986 +0000
11829
11829
  @@ -1,3 +1,7 @@
11830
11830
  +/*---------------------------------------------------------------------------------------------
11831
11831
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -12437,8 +12437,8 @@ diff -urN -x '*.map' a/vs/editor/browser/services/abstractCodeEditorService.js b
12437
12437
  + }
12438
12438
  }
12439
12439
  diff -urN -x '*.map' a/vs/editor/browser/services/editorWorkerService.js b/vs/editor/browser/services/editorWorkerService.js
12440
- --- a/vs/editor/browser/services/editorWorkerService.js 2023-07-13 09:45:30.032864883 +0000
12441
- +++ b/vs/editor/browser/services/editorWorkerService.js 2023-07-13 09:47:10.052946093 +0000
12440
+ --- a/vs/editor/browser/services/editorWorkerService.js 2023-07-24 12:38:14.939684360 +0000
12441
+ +++ b/vs/editor/browser/services/editorWorkerService.js 2023-07-24 12:39:54.490701986 +0000
12442
12442
  @@ -33,7 +33,7 @@
12443
12443
  import { isNonEmptyArray } from '../../../base/common/arrays.js';
12444
12444
  import { ILogService } from '../../../platform/log/common/log.js';
@@ -12509,8 +12509,8 @@ diff -urN -x '*.map' a/vs/editor/browser/services/editorWorkerService.js b/vs/ed
12509
12509
  return this._withSyncedResources([resource]).then(proxy => {
12510
12510
  return proxy.computeLinks(resource.toString());
12511
12511
  diff -urN -x '*.map' a/vs/editor/browser/services/openerService.js b/vs/editor/browser/services/openerService.js
12512
- --- a/vs/editor/browser/services/openerService.js 2023-07-13 09:45:30.032864883 +0000
12513
- +++ b/vs/editor/browser/services/openerService.js 2023-07-13 09:47:10.052946093 +0000
12512
+ --- a/vs/editor/browser/services/openerService.js 2023-07-24 12:38:14.939684360 +0000
12513
+ +++ b/vs/editor/browser/services/openerService.js 2023-07-24 12:39:54.490701986 +0000
12514
12514
  @@ -147,6 +147,21 @@
12515
12515
  const remove = this._openers.unshift(opener);
12516
12516
  return { dispose: remove };
@@ -12534,8 +12534,8 @@ diff -urN -x '*.map' a/vs/editor/browser/services/openerService.js b/vs/editor/b
12534
12534
  var _a;
12535
12535
  return __awaiter(this, void 0, void 0, function* () {
12536
12536
  diff -urN -x '*.map' a/vs/editor/browser/view/renderingContext.js b/vs/editor/browser/view/renderingContext.js
12537
- --- a/vs/editor/browser/view/renderingContext.js 2023-07-13 09:45:30.036864881 +0000
12538
- +++ b/vs/editor/browser/view/renderingContext.js 2023-07-13 09:47:10.056946094 +0000
12537
+ --- a/vs/editor/browser/view/renderingContext.js 2023-07-24 12:38:14.943684316 +0000
12538
+ +++ b/vs/editor/browser/view/renderingContext.js 2023-07-24 12:39:54.494701939 +0000
12539
12539
  @@ -44,6 +44,36 @@
12540
12540
  }
12541
12541
  }
@@ -12574,8 +12574,8 @@ diff -urN -x '*.map' a/vs/editor/browser/view/renderingContext.js b/vs/editor/br
12574
12574
  this.outsideRenderedLine = outsideRenderedLine;
12575
12575
  this.lineNumber = lineNumber;
12576
12576
  diff -urN -x '*.map' a/vs/editor/browser/view.js b/vs/editor/browser/view.js
12577
- --- a/vs/editor/browser/view.js 2023-07-13 09:45:30.040864879 +0000
12578
- +++ b/vs/editor/browser/view.js 2023-07-13 09:47:10.052946093 +0000
12577
+ --- a/vs/editor/browser/view.js 2023-07-24 12:38:14.947684273 +0000
12578
+ +++ b/vs/editor/browser/view.js 2023-07-24 12:39:54.490701986 +0000
12579
12579
  @@ -363,6 +363,9 @@
12580
12580
  isFocused() {
12581
12581
  return this._textAreaHandler.isFocused();
@@ -12587,8 +12587,8 @@ diff -urN -x '*.map' a/vs/editor/browser/view.js b/vs/editor/browser/view.js
12587
12587
  this._textAreaHandler.setAriaOptions(options);
12588
12588
  }
12589
12589
  diff -urN -x '*.map' a/vs/editor/browser/viewParts/lines/viewLines.js b/vs/editor/browser/viewParts/lines/viewLines.js
12590
- --- a/vs/editor/browser/viewParts/lines/viewLines.js 2023-07-13 09:45:30.024864888 +0000
12591
- +++ b/vs/editor/browser/viewParts/lines/viewLines.js 2023-07-13 09:47:10.052946093 +0000
12590
+ --- a/vs/editor/browser/viewParts/lines/viewLines.js 2023-07-24 12:38:14.931684447 +0000
12591
+ +++ b/vs/editor/browser/viewParts/lines/viewLines.js 2023-07-24 12:39:54.490701986 +0000
12592
12592
  @@ -376,6 +376,10 @@
12593
12593
  }
12594
12594
  return new HorizontalPosition(visibleRanges.outsideRenderedLine, visibleRanges.ranges[0].left);
@@ -12601,8 +12601,8 @@ diff -urN -x '*.map' a/vs/editor/browser/viewParts/lines/viewLines.js b/vs/edito
12601
12601
  * Updates the max line width if it is fast to compute.
12602
12602
  * Returns true if all lines were taken into account.
12603
12603
  diff -urN -x '*.map' a/vs/editor/browser/widget/codeEditorContributions.js b/vs/editor/browser/widget/codeEditorContributions.js
12604
- --- a/vs/editor/browser/widget/codeEditorContributions.js 2023-07-13 09:45:30.028864886 +0000
12605
- +++ b/vs/editor/browser/widget/codeEditorContributions.js 2023-07-13 09:47:10.056946094 +0000
12604
+ --- a/vs/editor/browser/widget/codeEditorContributions.js 2023-07-24 12:38:14.935684404 +0000
12605
+ +++ b/vs/editor/browser/widget/codeEditorContributions.js 2023-07-24 12:39:54.494701939 +0000
12606
12606
  @@ -77,6 +77,12 @@
12607
12607
  this._instantiateById(id);
12608
12608
  return this._instances.get(id) || null;
@@ -12617,8 +12617,8 @@ diff -urN -x '*.map' a/vs/editor/browser/widget/codeEditorContributions.js b/vs/
12617
12617
  // this method is called very often by the editor!
12618
12618
  this._instantiateSome(2 /* EditorContributionInstantiation.BeforeFirstInteraction */);
12619
12619
  diff -urN -x '*.map' a/vs/editor/browser/widget/codeEditorWidget.js b/vs/editor/browser/widget/codeEditorWidget.js
12620
- --- a/vs/editor/browser/widget/codeEditorWidget.js 2023-07-13 09:45:30.028864886 +0000
12621
- +++ b/vs/editor/browser/widget/codeEditorWidget.js 2023-07-13 09:47:10.056946094 +0000
12620
+ --- a/vs/editor/browser/widget/codeEditorWidget.js 2023-07-24 12:38:14.935684404 +0000
12621
+ +++ b/vs/editor/browser/widget/codeEditorWidget.js 2023-07-24 12:39:54.494701939 +0000
12622
12622
  @@ -26,6 +26,7 @@
12623
12623
  import * as dom from '../../../base/browser/dom.js';
12624
12624
  import { onUnexpectedError } from '../../../base/common/errors.js';
@@ -12748,8 +12748,8 @@ diff -urN -x '*.map' a/vs/editor/browser/widget/codeEditorWidget.js b/vs/editor/
12748
12748
  class EditorDecorationsCollection {
12749
12749
  get length() {
12750
12750
  diff -urN -x '*.map' a/vs/editor/browser/widget/diffEditorWidget.js b/vs/editor/browser/widget/diffEditorWidget.js
12751
- --- a/vs/editor/browser/widget/diffEditorWidget.js 2023-07-13 09:45:30.028864886 +0000
12752
- +++ b/vs/editor/browser/widget/diffEditorWidget.js 2023-07-13 09:47:10.056946094 +0000
12751
+ --- a/vs/editor/browser/widget/diffEditorWidget.js 2023-07-24 12:38:14.935684404 +0000
12752
+ +++ b/vs/editor/browser/widget/diffEditorWidget.js 2023-07-24 12:39:54.494701939 +0000
12753
12753
  @@ -139,6 +139,7 @@
12754
12754
  this._onDidUpdateDiff = this._register(new Emitter());
12755
12755
  this.onDidUpdateDiff = this._onDidUpdateDiff.event;
@@ -12858,8 +12858,8 @@ diff -urN -x '*.map' a/vs/editor/browser/widget/diffEditorWidget.js b/vs/editor/
12858
12858
  DiffEditorWidget.ONE_OVERVIEW_WIDTH = 15;
12859
12859
  DiffEditorWidget.ENTIRE_DIFF_OVERVIEW_WIDTH = 30;
12860
12860
  diff -urN -x '*.map' a/vs/editor/browser/widget/diffNavigator.js b/vs/editor/browser/widget/diffNavigator.js
12861
- --- a/vs/editor/browser/widget/diffNavigator.js 2023-07-13 09:45:30.028864886 +0000
12862
- +++ b/vs/editor/browser/widget/diffNavigator.js 2023-07-13 09:47:10.056946094 +0000
12861
+ --- a/vs/editor/browser/widget/diffNavigator.js 2023-07-24 12:38:14.935684404 +0000
12862
+ +++ b/vs/editor/browser/widget/diffNavigator.js 2023-07-24 12:39:54.494701939 +0000
12863
12863
  @@ -35,6 +35,7 @@
12864
12864
  this._codeEditorService = _codeEditorService;
12865
12865
  this._accessibilityService = _accessibilityService;
@@ -12869,8 +12869,8 @@ diff -urN -x '*.map' a/vs/editor/browser/widget/diffNavigator.js b/vs/editor/bro
12869
12869
  this._options = objects.mixin(options, defaultOptions, false);
12870
12870
  this.disposed = false;
12871
12871
  diff -urN -x '*.map' a/vs/editor/browser/widget/embeddedCodeEditorWidget.js b/vs/editor/browser/widget/embeddedCodeEditorWidget.js
12872
- --- a/vs/editor/browser/widget/embeddedCodeEditorWidget.js 2023-07-13 09:45:30.028864886 +0000
12873
- +++ b/vs/editor/browser/widget/embeddedCodeEditorWidget.js 2023-07-13 09:47:10.056946094 +0000
12872
+ --- a/vs/editor/browser/widget/embeddedCodeEditorWidget.js 2023-07-24 12:38:14.939684360 +0000
12873
+ +++ b/vs/editor/browser/widget/embeddedCodeEditorWidget.js 2023-07-24 12:39:54.494701939 +0000
12874
12874
  @@ -14,12 +14,16 @@
12875
12875
  import * as objects from '../../../base/common/objects.js';
12876
12876
  import { ICodeEditorService } from '../services/codeEditorService.js';
@@ -12924,8 +12924,8 @@ diff -urN -x '*.map' a/vs/editor/browser/widget/embeddedCodeEditorWidget.js b/vs
12924
12924
  + __param(11, IEditorProgressService)
12925
12925
  +], EmbeddedDiffEditorWidget);
12926
12926
  diff -urN -x '*.map' a/vs/editor/common/config/editorOptions.js b/vs/editor/common/config/editorOptions.js
12927
- --- a/vs/editor/common/config/editorOptions.js 2023-07-13 09:45:30.076864861 +0000
12928
- +++ b/vs/editor/common/config/editorOptions.js 2023-07-13 09:47:10.072946099 +0000
12927
+ --- a/vs/editor/common/config/editorOptions.js 2023-07-24 12:38:14.971684011 +0000
12928
+ +++ b/vs/editor/common/config/editorOptions.js 2023-07-24 12:39:54.506701800 +0000
12929
12929
  @@ -402,6 +402,19 @@
12930
12930
  */
12931
12931
  TextEditorCursorStyle[TextEditorCursorStyle["UnderlineThin"] = 6] = "UnderlineThin";
@@ -12947,8 +12947,8 @@ diff -urN -x '*.map' a/vs/editor/common/config/editorOptions.js b/vs/editor/comm
12947
12947
  switch (cursorStyle) {
12948
12948
  case 'line': return TextEditorCursorStyle.Line;
12949
12949
  diff -urN -x '*.map' a/vs/editor/common/config/fontInfo.js b/vs/editor/common/config/fontInfo.js
12950
- --- a/vs/editor/common/config/fontInfo.js 2023-07-13 09:45:30.076864861 +0000
12951
- +++ b/vs/editor/common/config/fontInfo.js 2023-07-13 09:47:10.072946099 +0000
12950
+ --- a/vs/editor/common/config/fontInfo.js 2023-07-24 12:38:14.971684011 +0000
12951
+ +++ b/vs/editor/common/config/fontInfo.js 2023-07-24 12:39:54.506701800 +0000
12952
12952
  @@ -3,7 +3,7 @@
12953
12953
  * Licensed under the MIT License. See License.txt in the project root for license information.
12954
12954
  *--------------------------------------------------------------------------------------------*/
@@ -12979,8 +12979,8 @@ diff -urN -x '*.map' a/vs/editor/common/config/fontInfo.js b/vs/editor/common/co
12979
12979
  */
12980
12980
  static _create(fontFamily, fontWeight, fontSize, fontFeatureSettings, fontVariationSettings, lineHeight, letterSpacing, pixelRatio, ignoreEditorZoom) {
12981
12981
  diff -urN -x '*.map' a/vs/editor/common/core/cursorColumns.js b/vs/editor/common/core/cursorColumns.js
12982
- --- a/vs/editor/common/core/cursorColumns.js 2023-07-13 09:45:30.056864871 +0000
12983
- +++ b/vs/editor/common/core/cursorColumns.js 2023-07-13 09:47:10.068946098 +0000
12982
+ --- a/vs/editor/common/core/cursorColumns.js 2023-07-24 12:38:14.959684142 +0000
12983
+ +++ b/vs/editor/common/core/cursorColumns.js 2023-07-24 12:39:54.502701847 +0000
12984
12984
  @@ -46,6 +46,25 @@
12985
12985
  return result;
12986
12986
  }
@@ -13008,8 +13008,8 @@ diff -urN -x '*.map' a/vs/editor/common/core/cursorColumns.js b/vs/editor/common
13008
13008
  * @see {@link CursorColumns}
13009
13009
  */
13010
13010
  diff -urN -x '*.map' a/vs/editor/common/core/offsetRange.js b/vs/editor/common/core/offsetRange.js
13011
- --- a/vs/editor/common/core/offsetRange.js 2023-07-13 09:45:30.060864869 +0000
13012
- +++ b/vs/editor/common/core/offsetRange.js 2023-07-13 09:47:10.068946098 +0000
13011
+ --- a/vs/editor/common/core/offsetRange.js 2023-07-24 12:38:14.959684142 +0000
13012
+ +++ b/vs/editor/common/core/offsetRange.js 2023-07-24 12:39:54.502701847 +0000
13013
13013
  @@ -56,6 +56,9 @@
13014
13014
  containsRange(other) {
13015
13015
  return this.start <= other.start && other.endExclusive <= this.endExclusive;
@@ -13021,8 +13021,8 @@ diff -urN -x '*.map' a/vs/editor/common/core/offsetRange.js b/vs/editor/common/c
13021
13021
  * for all numbers n: range1.contains(n) or range2.contains(n) => range1.join(range2).contains(n)
13022
13022
  * The joined range is the smallest range that contains both ranges.
13023
13023
  diff -urN -x '*.map' a/vs/editor/common/core/wordHelper.js b/vs/editor/common/core/wordHelper.js
13024
- --- a/vs/editor/common/core/wordHelper.js 2023-07-13 09:45:30.060864869 +0000
13025
- +++ b/vs/editor/common/core/wordHelper.js 2023-07-13 09:47:10.068946098 +0000
13024
+ --- a/vs/editor/common/core/wordHelper.js 2023-07-24 12:38:14.959684142 +0000
13025
+ +++ b/vs/editor/common/core/wordHelper.js 2023-07-24 12:39:54.502701847 +0000
13026
13026
  @@ -3,6 +3,7 @@
13027
13027
  * Licensed under the MIT License. See License.txt in the project root for license information.
13028
13028
  *--------------------------------------------------------------------------------------------*/
@@ -13043,8 +13043,8 @@ diff -urN -x '*.map' a/vs/editor/common/core/wordHelper.js b/vs/editor/common/co
13043
13043
  if (!config) {
13044
13044
  config = Iterable.first(_defaultConfig);
13045
13045
  diff -urN -x '*.map' a/vs/editor/common/cursor/cursor.js b/vs/editor/common/cursor/cursor.js
13046
- --- a/vs/editor/common/cursor/cursor.js 2023-07-13 09:45:30.064864867 +0000
13047
- +++ b/vs/editor/common/cursor/cursor.js 2023-07-13 09:47:10.064946097 +0000
13046
+ --- a/vs/editor/common/cursor/cursor.js 2023-07-24 12:38:14.963684098 +0000
13047
+ +++ b/vs/editor/common/cursor/cursor.js 2023-07-24 12:39:54.498701893 +0000
13048
13048
  @@ -235,6 +235,9 @@
13049
13049
  getSelections() {
13050
13050
  return this._cursors.getSelections();
@@ -13056,8 +13056,8 @@ diff -urN -x '*.map' a/vs/editor/common/cursor/cursor.js b/vs/editor/common/curs
13056
13056
  this.setStates(eventsCollector, source, reason, CursorState.fromModelSelections(selections));
13057
13057
  }
13058
13058
  diff -urN -x '*.map' a/vs/editor/common/diff/algorithms/diffAlgorithm.js b/vs/editor/common/diff/algorithms/diffAlgorithm.js
13059
- --- a/vs/editor/common/diff/algorithms/diffAlgorithm.js 2023-07-13 09:45:30.064864867 +0000
13060
- +++ b/vs/editor/common/diff/algorithms/diffAlgorithm.js 2023-07-13 09:47:10.068946098 +0000
13059
+ --- a/vs/editor/common/diff/algorithms/diffAlgorithm.js 2023-07-24 12:38:14.963684098 +0000
13060
+ +++ b/vs/editor/common/diff/algorithms/diffAlgorithm.js 2023-07-24 12:39:54.502701847 +0000
13061
13061
  @@ -61,4 +61,9 @@
13062
13062
  }
13063
13063
  return this.valid;
@@ -13069,8 +13069,8 @@ diff -urN -x '*.map' a/vs/editor/common/diff/algorithms/diffAlgorithm.js b/vs/ed
13069
13069
  + }
13070
13070
  }
13071
13071
  diff -urN -x '*.map' a/vs/editor/common/editorCommon.js b/vs/editor/common/editorCommon.js
13072
- --- a/vs/editor/common/editorCommon.js 2023-07-13 09:45:30.072864863 +0000
13073
- +++ b/vs/editor/common/editorCommon.js 2023-07-13 09:47:10.072946099 +0000
13072
+ --- a/vs/editor/common/editorCommon.js 2023-07-24 12:38:14.971684011 +0000
13073
+ +++ b/vs/editor/common/editorCommon.js 2023-07-24 12:39:54.506701800 +0000
13074
13074
  @@ -1,3 +1,13 @@
13075
13075
  +/*---------------------------------------------------------------------------------------------
13076
13076
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -13086,16 +13086,16 @@ diff -urN -x '*.map' a/vs/editor/common/editorCommon.js b/vs/editor/common/edito
13086
13086
  * The type of the `IEditor`.
13087
13087
  */
13088
13088
  diff -urN -x '*.map' a/vs/editor/common/languages/supports/characterPair.js b/vs/editor/common/languages/supports/characterPair.js
13089
- --- a/vs/editor/common/languages/supports/characterPair.js 2023-07-13 09:45:30.052864873 +0000
13090
- +++ b/vs/editor/common/languages/supports/characterPair.js 2023-07-13 09:47:10.064946097 +0000
13089
+ --- a/vs/editor/common/languages/supports/characterPair.js 2023-07-24 12:38:14.955684185 +0000
13090
+ +++ b/vs/editor/common/languages/supports/characterPair.js 2023-07-24 12:39:54.498701893 +0000
13091
13091
  @@ -35,3 +35,4 @@
13092
13092
  }
13093
13093
  CharacterPairSupport.DEFAULT_AUTOCLOSE_BEFORE_LANGUAGE_DEFINED_QUOTES = ';:.,=}])> \n\t';
13094
13094
  CharacterPairSupport.DEFAULT_AUTOCLOSE_BEFORE_LANGUAGE_DEFINED_BRACKETS = '\'"`;:.,=}])> \n\t';
13095
13095
  +CharacterPairSupport.DEFAULT_AUTOCLOSE_BEFORE_WHITESPACE = ' \n\t';
13096
13096
  diff -urN -x '*.map' a/vs/editor/common/languages/supports/tokenization.js b/vs/editor/common/languages/supports/tokenization.js
13097
- --- a/vs/editor/common/languages/supports/tokenization.js 2023-07-13 09:45:30.052864873 +0000
13098
- +++ b/vs/editor/common/languages/supports/tokenization.js 2023-07-13 09:47:10.064946097 +0000
13097
+ --- a/vs/editor/common/languages/supports/tokenization.js 2023-07-24 12:38:14.955684185 +0000
13098
+ +++ b/vs/editor/common/languages/supports/tokenization.js 2023-07-24 12:39:54.498701893 +0000
13099
13099
  @@ -145,6 +145,12 @@
13100
13100
  getColorMap() {
13101
13101
  return this._colorMap.getColorMap();
@@ -13147,8 +13147,8 @@ diff -urN -x '*.map' a/vs/editor/common/languages/supports/tokenization.js b/vs/
13147
13147
  if (token === '') {
13148
13148
  return this._mainRule;
13149
13149
  diff -urN -x '*.map' a/vs/editor/common/languages/textToHtmlTokenizer.js b/vs/editor/common/languages/textToHtmlTokenizer.js
13150
- --- a/vs/editor/common/languages/textToHtmlTokenizer.js 2023-07-13 09:45:30.056864871 +0000
13151
- +++ b/vs/editor/common/languages/textToHtmlTokenizer.js 2023-07-13 09:47:10.064946097 +0000
13150
+ --- a/vs/editor/common/languages/textToHtmlTokenizer.js 2023-07-24 12:38:14.959684142 +0000
13151
+ +++ b/vs/editor/common/languages/textToHtmlTokenizer.js 2023-07-24 12:39:54.498701893 +0000
13152
13152
  @@ -19,6 +19,9 @@
13153
13153
  getInitialState: () => NullState,
13154
13154
  tokenizeEncoded: (buffer, hasEOL, state) => nullTokenizeEncoded(0 /* LanguageId.Null */, state)
@@ -13160,8 +13160,8 @@ diff -urN -x '*.map' a/vs/editor/common/languages/textToHtmlTokenizer.js b/vs/ed
13160
13160
  return __awaiter(this, void 0, void 0, function* () {
13161
13161
  if (!languageId) {
13162
13162
  diff -urN -x '*.map' a/vs/editor/common/languages.js b/vs/editor/common/languages.js
13163
- --- a/vs/editor/common/languages.js 2023-07-13 09:45:30.076864861 +0000
13164
- +++ b/vs/editor/common/languages.js 2023-07-13 09:47:10.060946096 +0000
13163
+ --- a/vs/editor/common/languages.js 2023-07-24 12:38:14.975683967 +0000
13164
+ +++ b/vs/editor/common/languages.js 2023-07-24 12:39:54.498701893 +0000
13165
13165
  @@ -1,3 +1,7 @@
13166
13166
  +/*---------------------------------------------------------------------------------------------
13167
13167
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -13230,8 +13230,8 @@ diff -urN -x '*.map' a/vs/editor/common/languages.js b/vs/editor/common/language
13230
13230
  + ExternalUriOpenerPriority[ExternalUriOpenerPriority["Preferred"] = 3] = "Preferred";
13231
13231
  +})(ExternalUriOpenerPriority || (ExternalUriOpenerPriority = {}));
13232
13232
  diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/ast.js b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/ast.js
13233
- --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/ast.js 2023-07-13 09:45:30.040864879 +0000
13234
- +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/ast.js 2023-07-13 09:47:10.072946099 +0000
13233
+ --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/ast.js 2023-07-24 12:38:14.947684273 +0000
13234
+ +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/ast.js 2023-07-24 12:39:54.506701800 +0000
13235
13235
  @@ -88,6 +88,9 @@
13236
13236
  }
13237
13237
  return true;
@@ -13296,8 +13296,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketP
13296
13296
  return this;
13297
13297
  }
13298
13298
  diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/brackets.js b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/brackets.js
13299
- --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/brackets.js 2023-07-13 09:45:30.044864877 +0000
13300
- +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/brackets.js 2023-07-13 09:47:10.072946099 +0000
13299
+ --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/brackets.js 2023-07-24 12:38:14.947684273 +0000
13300
+ +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/brackets.js 2023-07-24 12:39:54.506701800 +0000
13301
13301
  @@ -102,4 +102,8 @@
13302
13302
  }
13303
13303
  return singleLanguageBracketTokens;
@@ -13308,8 +13308,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketP
13308
13308
  + }
13309
13309
  }
13310
13310
  diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/length.js b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/length.js
13311
- --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/length.js 2023-07-13 09:45:30.044864877 +0000
13312
- +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/length.js 2023-07-13 09:47:10.072946099 +0000
13311
+ --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/length.js 2023-07-24 12:38:14.947684273 +0000
13312
+ +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/length.js 2023-07-24 12:39:54.506701800 +0000
13313
13313
  @@ -3,16 +3,63 @@
13314
13314
  * Licensed under the MIT License. See License.txt in the project root for license information.
13315
13315
  *--------------------------------------------------------------------------------------------*/
@@ -13422,8 +13422,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketP
13422
13422
  + return length1 > length2 ? length1 : length2;
13423
13423
  +}
13424
13424
  diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/parser.js b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/parser.js
13425
- --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/parser.js 2023-07-13 09:45:30.044864877 +0000
13426
- +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/parser.js 2023-07-13 09:47:10.072946099 +0000
13425
+ --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/parser.js 2023-07-24 12:38:14.947684273 +0000
13426
+ +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/parser.js 2023-07-24 12:39:54.506701800 +0000
13427
13427
  @@ -19,6 +19,18 @@
13428
13428
  * Non incrementally built ASTs are immutable.
13429
13429
  */
@@ -13444,8 +13444,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketP
13444
13444
  this.tokenizer = tokenizer;
13445
13445
  this.createImmutableLists = createImmutableLists;
13446
13446
  diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/smallImmutableSet.js b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/smallImmutableSet.js
13447
- --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/smallImmutableSet.js 2023-07-13 09:45:30.044864877 +0000
13448
- +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/smallImmutableSet.js 2023-07-13 09:47:10.072946099 +0000
13447
+ --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/smallImmutableSet.js 2023-07-24 12:38:14.947684273 +0000
13448
+ +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/smallImmutableSet.js 2023-07-24 12:39:54.506701800 +0000
13449
13449
  @@ -46,6 +46,16 @@
13450
13450
  newItems[idx] |= 1 << (key & 31);
13451
13451
  return SmallImmutableSet.create(this.items, newItems);
@@ -13506,8 +13506,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketP
13506
13506
  + }
13507
13507
  }
13508
13508
  diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/tokenizer.js b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/tokenizer.js
13509
- --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/tokenizer.js 2023-07-13 09:45:30.044864877 +0000
13510
- +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/tokenizer.js 2023-07-13 09:47:10.072946099 +0000
13509
+ --- a/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/tokenizer.js 2023-07-24 12:38:14.947684273 +0000
13510
+ +++ b/vs/editor/common/model/bracketPairsTextModelPart/bracketPairsTree/tokenizer.js 2023-07-24 12:39:54.506701800 +0000
13511
13511
  @@ -45,6 +45,9 @@
13512
13512
  get length() {
13513
13513
  return toLength(this.textBufferLineCount - 1, this.textBufferLastLineLength);
@@ -13527,8 +13527,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/bracketP
13527
13527
  + }
13528
13528
  }
13529
13529
  diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/fixBrackets.js b/vs/editor/common/model/bracketPairsTextModelPart/fixBrackets.js
13530
- --- a/vs/editor/common/model/bracketPairsTextModelPart/fixBrackets.js 2023-07-13 09:45:30.044864877 +0000
13531
- +++ b/vs/editor/common/model/bracketPairsTextModelPart/fixBrackets.js 2023-07-13 09:47:10.072946099 +0000
13530
+ --- a/vs/editor/common/model/bracketPairsTextModelPart/fixBrackets.js 2023-07-24 12:38:14.947684273 +0000
13531
+ +++ b/vs/editor/common/model/bracketPairsTextModelPart/fixBrackets.js 2023-07-24 12:39:54.506701800 +0000
13532
13532
  @@ -57,6 +57,9 @@
13533
13533
  }
13534
13534
  };
@@ -13540,8 +13540,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/bracketPairsTextModelPart/fixBrack
13540
13540
  return this.lines.length;
13541
13541
  }
13542
13542
  diff -urN -x '*.map' a/vs/editor/common/model/decorationProvider.js b/vs/editor/common/model/decorationProvider.js
13543
- --- a/vs/editor/common/model/decorationProvider.js 2023-07-13 09:45:30.044864877 +0000
13544
- +++ b/vs/editor/common/model/decorationProvider.js 2023-07-13 09:47:10.072946099 +0000
13543
+ --- a/vs/editor/common/model/decorationProvider.js 2023-07-24 12:38:14.947684273 +0000
13544
+ +++ b/vs/editor/common/model/decorationProvider.js 2023-07-24 12:39:54.506701800 +0000
13545
13545
  @@ -1 +1,5 @@
13546
13546
  +/*---------------------------------------------------------------------------------------------
13547
13547
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -13549,8 +13549,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/decorationProvider.js b/vs/editor/
13549
13549
  + *--------------------------------------------------------------------------------------------*/
13550
13550
  export {};
13551
13551
  diff -urN -x '*.map' a/vs/editor/common/model/editStack.js b/vs/editor/common/model/editStack.js
13552
- --- a/vs/editor/common/model/editStack.js 2023-07-13 09:45:30.044864877 +0000
13553
- +++ b/vs/editor/common/model/editStack.js 2023-07-13 09:47:10.068946098 +0000
13552
+ --- a/vs/editor/common/model/editStack.js 2023-07-24 12:38:14.951684229 +0000
13553
+ +++ b/vs/editor/common/model/editStack.js 2023-07-24 12:39:54.502701847 +0000
13554
13554
  @@ -217,11 +217,23 @@
13555
13555
  }
13556
13556
  this._delegate = null;
@@ -13576,8 +13576,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/editStack.js b/vs/editor/common/mo
13576
13576
  const key = uriGetComparisonKey(resource);
13577
13577
  return (this._editStackElementsMap.has(key));
13578
13578
  diff -urN -x '*.map' a/vs/editor/common/model/intervalTree.js b/vs/editor/common/model/intervalTree.js
13579
- --- a/vs/editor/common/model/intervalTree.js 2023-07-13 09:45:30.048864875 +0000
13580
- +++ b/vs/editor/common/model/intervalTree.js 2023-07-13 09:47:10.068946098 +0000
13579
+ --- a/vs/editor/common/model/intervalTree.js 2023-07-24 12:38:14.951684229 +0000
13580
+ +++ b/vs/editor/common/model/intervalTree.js 2023-07-24 12:39:54.502701847 +0000
13581
13581
  @@ -38,6 +38,9 @@
13582
13582
  function setCollapseOnReplaceEdit(node, value) {
13583
13583
  node.metadata = ((node.metadata & 223 /* Constants.CollapseOnReplaceEditMaskInverse */) | ((value ? 1 : 0) << 5 /* Constants.CollapseOnReplaceEditOffset */));
@@ -13599,8 +13599,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/intervalTree.js b/vs/editor/common
13599
13599
  if (!this.requestNormalizeDelta) {
13600
13600
  return;
13601
13601
  diff -urN -x '*.map' a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeBase.js b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeBase.js
13602
- --- a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeBase.js 2023-07-13 09:45:30.048864875 +0000
13603
- +++ b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeBase.js 2023-07-13 09:47:10.072946099 +0000
13602
+ --- a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeBase.js 2023-07-24 12:38:14.951684229 +0000
13603
+ +++ b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeBase.js 2023-07-24 12:39:54.502701847 +0000
13604
13604
  @@ -269,6 +269,28 @@
13605
13605
  createSnapshot(BOM) {
13606
13606
  return new PieceTreeSnapshot(this, BOM);
@@ -13665,8 +13665,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeBase.
13665
13665
  + }
13666
13666
  }
13667
13667
  diff -urN -x '*.map' a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBuffer.js b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBuffer.js
13668
- --- a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBuffer.js 2023-07-13 09:45:30.048864875 +0000
13669
- +++ b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBuffer.js 2023-07-13 09:47:10.072946099 +0000
13668
+ --- a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBuffer.js 2023-07-24 12:38:14.951684229 +0000
13669
+ +++ b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBuffer.js 2023-07-24 12:39:54.506701800 +0000
13670
13670
  @@ -14,12 +14,26 @@
13671
13671
  constructor(chunks, BOM, eol, containsRTL, containsUnusualLineTerminators, isBasicASCII, eolNormalized) {
13672
13672
  super();
@@ -13750,8 +13750,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextB
13750
13750
  * Assumes `operations` are validated and sorted ascending
13751
13751
  */
13752
13752
  diff -urN -x '*.map' a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBufferBuilder.js b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBufferBuilder.js
13753
- --- a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBufferBuilder.js 2023-07-13 09:45:30.048864875 +0000
13754
- +++ b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBufferBuilder.js 2023-07-13 09:47:10.072946099 +0000
13753
+ --- a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBufferBuilder.js 2023-07-24 12:38:14.951684229 +0000
13754
+ +++ b/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextBufferBuilder.js 2023-07-24 12:39:54.506701800 +0000
13755
13755
  @@ -47,6 +47,9 @@
13756
13756
  const textBuffer = new PieceTreeTextBuffer(chunks, this._bom, eol, this._containsRTL, this._containsUnusualLineTerminators, this._isBasicASCII, this._normalizeEOL);
13757
13757
  return { textBuffer: textBuffer, disposable: textBuffer };
@@ -13763,8 +13763,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/pieceTreeTextBuffer/pieceTreeTextB
13763
13763
  export class PieceTreeTextBufferBuilder {
13764
13764
  constructor() {
13765
13765
  diff -urN -x '*.map' a/vs/editor/common/model/prefixSumComputer.js b/vs/editor/common/model/prefixSumComputer.js
13766
- --- a/vs/editor/common/model/prefixSumComputer.js 2023-07-13 09:45:30.048864875 +0000
13767
- +++ b/vs/editor/common/model/prefixSumComputer.js 2023-07-13 09:47:10.072946099 +0000
13766
+ --- a/vs/editor/common/model/prefixSumComputer.js 2023-07-24 12:38:14.951684229 +0000
13767
+ +++ b/vs/editor/common/model/prefixSumComputer.js 2023-07-24 12:39:54.502701847 +0000
13768
13768
  @@ -11,6 +11,9 @@
13769
13769
  this.prefixSumValidIndex = new Int32Array(1);
13770
13770
  this.prefixSumValidIndex[0] = -1;
@@ -13776,8 +13776,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/prefixSumComputer.js b/vs/editor/c
13776
13776
  insertIndex = toUint32(insertIndex);
13777
13777
  const oldValues = this.values;
13778
13778
  diff -urN -x '*.map' a/vs/editor/common/model/textModel.js b/vs/editor/common/model/textModel.js
13779
- --- a/vs/editor/common/model/textModel.js 2023-07-13 09:45:30.048864875 +0000
13780
- +++ b/vs/editor/common/model/textModel.js 2023-07-13 09:47:10.072946099 +0000
13779
+ --- a/vs/editor/common/model/textModel.js 2023-07-24 12:38:14.951684229 +0000
13780
+ +++ b/vs/editor/common/model/textModel.js 2023-07-24 12:39:54.506701800 +0000
13781
13781
  @@ -16,6 +16,7 @@
13782
13782
  import { BugIndicatingError, illegalArgument, onUnexpectedError } from '../../../base/common/errors.js';
13783
13783
  import { Emitter } from '../../../base/common/event.js';
@@ -13867,8 +13867,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/textModel.js b/vs/editor/common/mo
13867
13867
  this._deferredCnt++;
13868
13868
  }
13869
13869
  diff -urN -x '*.map' a/vs/editor/common/model/textModelTokens.js b/vs/editor/common/model/textModelTokens.js
13870
- --- a/vs/editor/common/model/textModelTokens.js 2023-07-13 09:45:30.048864875 +0000
13871
- +++ b/vs/editor/common/model/textModelTokens.js 2023-07-13 09:47:10.072946099 +0000
13870
+ --- a/vs/editor/common/model/textModelTokens.js 2023-07-24 12:38:14.951684229 +0000
13871
+ +++ b/vs/editor/common/model/textModelTokens.js 2023-07-24 12:39:54.506701800 +0000
13872
13872
  @@ -225,11 +225,20 @@
13873
13873
  }
13874
13874
  this._lineEndStates.replace(range.startLineNumber, length, newLineCount);
@@ -13891,8 +13891,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/textModelTokens.js b/vs/editor/com
13891
13891
  if (this._ranges.length === 0) {
13892
13892
  return null;
13893
13893
  diff -urN -x '*.map' a/vs/editor/common/model/tokenizationTextModelPart.js b/vs/editor/common/model/tokenizationTextModelPart.js
13894
- --- a/vs/editor/common/model/tokenizationTextModelPart.js 2023-07-13 09:45:30.052864873 +0000
13895
- +++ b/vs/editor/common/model/tokenizationTextModelPart.js 2023-07-13 09:47:10.072946099 +0000
13894
+ --- a/vs/editor/common/model/tokenizationTextModelPart.js 2023-07-24 12:38:14.955684185 +0000
13895
+ +++ b/vs/editor/common/model/tokenizationTextModelPart.js 2023-07-24 12:39:54.506701800 +0000
13896
13896
  @@ -46,6 +46,11 @@
13897
13897
  this._bracketPairsTextModelPart.handleDidChangeBackgroundTokenizationState();
13898
13898
  }));
@@ -13906,8 +13906,8 @@ diff -urN -x '*.map' a/vs/editor/common/model/tokenizationTextModelPart.js b/vs/
13906
13906
  if (e.isFlush) {
13907
13907
  this._semanticTokens.flush();
13908
13908
  diff -urN -x '*.map' a/vs/editor/common/services/editorSimpleWorker.js b/vs/editor/common/services/editorSimpleWorker.js
13909
- --- a/vs/editor/common/services/editorSimpleWorker.js 2023-07-13 09:45:30.068864865 +0000
13910
- +++ b/vs/editor/common/services/editorSimpleWorker.js 2023-07-13 09:47:10.060946096 +0000
13909
+ --- a/vs/editor/common/services/editorSimpleWorker.js 2023-07-24 12:38:14.967684054 +0000
13910
+ +++ b/vs/editor/common/services/editorSimpleWorker.js 2023-07-24 12:39:54.498701893 +0000
13911
13911
  @@ -22,8 +22,10 @@
13912
13912
  import { createMonacoBaseAPI } from './editorBaseApi.js';
13913
13913
  import { StopWatch } from '../../../base/common/stopwatch.js';
@@ -14058,8 +14058,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/editorSimpleWorker.js b/vs/edit
14058
14058
  result.push({ eol: lastEol, text: '', range: { startLineNumber: 0, startColumn: 0, endLineNumber: 0, endColumn: 0 } });
14059
14059
  }
14060
14060
  diff -urN -x '*.map' a/vs/editor/common/services/getIconClasses.js b/vs/editor/common/services/getIconClasses.js
14061
- --- a/vs/editor/common/services/getIconClasses.js 2023-07-13 09:45:30.068864865 +0000
14062
- +++ b/vs/editor/common/services/getIconClasses.js 2023-07-13 09:47:10.060946096 +0000
14061
+ --- a/vs/editor/common/services/getIconClasses.js 2023-07-24 12:38:14.967684054 +0000
14062
+ +++ b/vs/editor/common/services/getIconClasses.js 2023-07-24 12:39:54.494701939 +0000
14063
14063
  @@ -59,6 +59,9 @@
14064
14064
  }
14065
14065
  return classes;
@@ -14071,8 +14071,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/getIconClasses.js b/vs/editor/c
14071
14071
  if (!resource) {
14072
14072
  return null; // we need a resource at least
14073
14073
  diff -urN -x '*.map' a/vs/editor/common/services/languageFeaturesService.js b/vs/editor/common/services/languageFeaturesService.js
14074
- --- a/vs/editor/common/services/languageFeaturesService.js 2023-07-13 09:45:30.068864865 +0000
14075
- +++ b/vs/editor/common/services/languageFeaturesService.js 2023-07-13 09:47:10.060946096 +0000
14074
+ --- a/vs/editor/common/services/languageFeaturesService.js 2023-07-24 12:38:14.967684054 +0000
14075
+ +++ b/vs/editor/common/services/languageFeaturesService.js 2023-07-24 12:39:54.494701939 +0000
14076
14076
  @@ -30,11 +30,16 @@
14077
14077
  this.inlineCompletionsProvider = new LanguageFeatureRegistry(this._score.bind(this));
14078
14078
  this.completionProvider = new LanguageFeatureRegistry(this._score.bind(this));
@@ -14091,8 +14091,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/languageFeaturesService.js b/vs
14091
14091
  var _a;
14092
14092
  return (_a = this._notebookTypeResolver) === null || _a === void 0 ? void 0 : _a.call(this, uri);
14093
14093
  diff -urN -x '*.map' a/vs/editor/common/services/languageService.js b/vs/editor/common/services/languageService.js
14094
- --- a/vs/editor/common/services/languageService.js 2023-07-13 09:45:30.072864863 +0000
14095
- +++ b/vs/editor/common/services/languageService.js 2023-07-13 09:47:10.060946096 +0000
14094
+ --- a/vs/editor/common/services/languageService.js 2023-07-24 12:38:14.967684054 +0000
14095
+ +++ b/vs/editor/common/services/languageService.js 2023-07-24 12:39:54.494701939 +0000
14096
14096
  @@ -28,9 +28,36 @@
14097
14097
  LanguageService.instanceCount--;
14098
14098
  super.dispose();
@@ -14144,8 +14144,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/languageService.js b/vs/editor/
14144
14144
  return new LanguageSelection(this.onDidChange, () => {
14145
14145
  const languageId = this.guessLanguageIdByFilepathOrFirstLine(resource, firstLine);
14146
14146
  diff -urN -x '*.map' a/vs/editor/common/services/languagesAssociations.js b/vs/editor/common/services/languagesAssociations.js
14147
- --- a/vs/editor/common/services/languagesAssociations.js 2023-07-13 09:45:30.068864865 +0000
14148
- +++ b/vs/editor/common/services/languagesAssociations.js 2023-07-13 09:47:10.060946096 +0000
14147
+ --- a/vs/editor/common/services/languagesAssociations.js 2023-07-24 12:38:14.967684054 +0000
14148
+ +++ b/vs/editor/common/services/languagesAssociations.js 2023-07-24 12:39:54.498701893 +0000
14149
14149
  @@ -20,6 +20,14 @@
14150
14150
  export function registerPlatformLanguageAssociation(association, warnOnOverwrite = false) {
14151
14151
  _registerLanguageAssociation(association, false, warnOnOverwrite);
@@ -14183,8 +14183,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/languagesAssociations.js b/vs/e
14183
14183
  */
14184
14184
  export function getLanguageIds(resource, firstLine) {
14185
14185
  diff -urN -x '*.map' a/vs/editor/common/services/languagesRegistry.js b/vs/editor/common/services/languagesRegistry.js
14186
- --- a/vs/editor/common/services/languagesRegistry.js 2023-07-13 09:45:30.072864863 +0000
14187
- +++ b/vs/editor/common/services/languagesRegistry.js 2023-07-13 09:47:10.060946096 +0000
14186
+ --- a/vs/editor/common/services/languagesRegistry.js 2023-07-24 12:38:14.967684054 +0000
14187
+ +++ b/vs/editor/common/services/languagesRegistry.js 2023-07-24 12:39:54.494701939 +0000
14188
14188
  @@ -4,7 +4,7 @@
14189
14189
  *--------------------------------------------------------------------------------------------*/
14190
14190
  import { Emitter } from '../../../base/common/event.js';
@@ -14274,8 +14274,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/languagesRegistry.js b/vs/edito
14274
14274
  const languageNameLower = languageName.toLowerCase();
14275
14275
  if (!hasOwnProperty.call(this._lowercaseNameMap, languageNameLower)) {
14276
14276
  diff -urN -x '*.map' a/vs/editor/common/services/markerDecorationsService.js b/vs/editor/common/services/markerDecorationsService.js
14277
- --- a/vs/editor/common/services/markerDecorationsService.js 2023-07-13 09:45:30.072864863 +0000
14278
- +++ b/vs/editor/common/services/markerDecorationsService.js 2023-07-13 09:47:10.060946096 +0000
14277
+ --- a/vs/editor/common/services/markerDecorationsService.js 2023-07-24 12:38:14.971684011 +0000
14278
+ +++ b/vs/editor/common/services/markerDecorationsService.js 2023-07-24 12:39:54.498701893 +0000
14279
14279
  @@ -44,12 +44,23 @@
14280
14280
  getMarker(decoration) {
14281
14281
  return this._markersData.get(decoration.id);
@@ -14312,8 +14312,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/markerDecorationsService.js b/v
14312
14312
  changedResources.forEach((resource) => {
14313
14313
  const markerDecorations = this._markerDecorations.get(resource);
14314
14314
  diff -urN -x '*.map' a/vs/editor/common/services/modelService.js b/vs/editor/common/services/modelService.js
14315
- --- a/vs/editor/common/services/modelService.js 2023-07-13 09:45:30.072864863 +0000
14316
- +++ b/vs/editor/common/services/modelService.js 2023-07-13 09:47:10.060946096 +0000
14315
+ --- a/vs/editor/common/services/modelService.js 2023-07-24 12:38:14.971684011 +0000
14316
+ +++ b/vs/editor/common/services/modelService.js 2023-07-24 12:39:54.498701893 +0000
14317
14317
  @@ -14,7 +14,9 @@
14318
14318
  import { Emitter } from '../../../base/common/event.js';
14319
14319
  import { Disposable, DisposableStore } from '../../../base/common/lifecycle.js';
@@ -14407,8 +14407,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/modelService.js b/vs/editor/com
14407
14407
  const ret = [];
14408
14408
  const keys = Object.keys(this._models);
14409
14409
  diff -urN -x '*.map' a/vs/editor/common/services/resolverService.js b/vs/editor/common/services/resolverService.js
14410
- --- a/vs/editor/common/services/resolverService.js 2023-07-13 09:45:30.072864863 +0000
14411
- +++ b/vs/editor/common/services/resolverService.js 2023-07-13 09:47:10.060946096 +0000
14410
+ --- a/vs/editor/common/services/resolverService.js 2023-07-24 12:38:14.971684011 +0000
14411
+ +++ b/vs/editor/common/services/resolverService.js 2023-07-24 12:39:54.494701939 +0000
14412
14412
  @@ -4,3 +4,7 @@
14413
14413
  *--------------------------------------------------------------------------------------------*/
14414
14414
  import { createDecorator } from '../../../platform/instantiation/common/instantiation.js';
@@ -14418,8 +14418,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/resolverService.js b/vs/editor/
14418
14418
  + return !!candidate.textEditorModel;
14419
14419
  +}
14420
14420
  diff -urN -x '*.map' a/vs/editor/common/services/semanticTokensDto.js b/vs/editor/common/services/semanticTokensDto.js
14421
- --- a/vs/editor/common/services/semanticTokensDto.js 2023-07-13 09:45:30.072864863 +0000
14422
- +++ b/vs/editor/common/services/semanticTokensDto.js 2023-07-13 09:47:10.060946096 +0000
14421
+ --- a/vs/editor/common/services/semanticTokensDto.js 2023-07-24 12:38:14.971684011 +0000
14422
+ +++ b/vs/editor/common/services/semanticTokensDto.js 2023-07-24 12:39:54.498701893 +0000
14423
14423
  @@ -25,6 +25,22 @@
14424
14424
  }
14425
14425
  return VSBuffer.wrap(uint8Arr);
@@ -14482,8 +14482,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/semanticTokensDto.js b/vs/edito
14482
14482
  + };
14483
14483
  +}
14484
14484
  diff -urN -x '*.map' a/vs/editor/common/services/textResourceConfiguration.js b/vs/editor/common/services/textResourceConfiguration.js
14485
- --- a/vs/editor/common/services/textResourceConfiguration.js 2023-07-13 09:45:30.072864863 +0000
14486
- +++ b/vs/editor/common/services/textResourceConfiguration.js 2023-07-13 09:47:10.060946096 +0000
14485
+ --- a/vs/editor/common/services/textResourceConfiguration.js 2023-07-24 12:38:14.971684011 +0000
14486
+ +++ b/vs/editor/common/services/textResourceConfiguration.js 2023-07-24 12:39:54.498701893 +0000
14487
14487
  @@ -1,3 +1,7 @@
14488
14488
  +/*---------------------------------------------------------------------------------------------
14489
14489
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -14493,8 +14493,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/textResourceConfiguration.js b/
14493
14493
  export const ITextResourceConfigurationService = createDecorator('textResourceConfigurationService');
14494
14494
  export const ITextResourcePropertiesService = createDecorator('textResourcePropertiesService');
14495
14495
  diff -urN -x '*.map' a/vs/editor/common/services/treeViewsDnd.js b/vs/editor/common/services/treeViewsDnd.js
14496
- --- a/vs/editor/common/services/treeViewsDnd.js 2023-07-13 09:45:30.072864863 +0000
14497
- +++ b/vs/editor/common/services/treeViewsDnd.js 2023-07-13 09:47:10.060946096 +0000
14496
+ --- a/vs/editor/common/services/treeViewsDnd.js 2023-07-24 12:38:14.971684011 +0000
14497
+ +++ b/vs/editor/common/services/treeViewsDnd.js 2023-07-24 12:39:54.494701939 +0000
14498
14498
  @@ -14,6 +14,9 @@
14499
14499
  }
14500
14500
  return undefined;
@@ -14506,8 +14506,8 @@ diff -urN -x '*.map' a/vs/editor/common/services/treeViewsDnd.js b/vs/editor/com
14506
14506
  export class DraggedTreeItemsIdentifier {
14507
14507
  constructor(identifier) {
14508
14508
  diff -urN -x '*.map' a/vs/editor/common/textModelBracketPairs.js b/vs/editor/common/textModelBracketPairs.js
14509
- --- a/vs/editor/common/textModelBracketPairs.js 2023-07-13 09:45:30.084864857 +0000
14510
- +++ b/vs/editor/common/textModelBracketPairs.js 2023-07-13 09:47:10.064946097 +0000
14509
+ --- a/vs/editor/common/textModelBracketPairs.js 2023-07-24 12:38:14.979683923 +0000
14510
+ +++ b/vs/editor/common/textModelBracketPairs.js 2023-07-24 12:39:54.502701847 +0000
14511
14511
  @@ -26,6 +26,10 @@
14512
14512
  get openingBracketInfo() {
14513
14513
  return this.bracketPairNode.openingBracket.bracketInfo;
@@ -14520,8 +14520,8 @@ diff -urN -x '*.map' a/vs/editor/common/textModelBracketPairs.js b/vs/editor/com
14520
14520
  export class BracketPairWithMinIndentationInfo extends BracketPairInfo {
14521
14521
  constructor(range, openingBracketRange, closingBracketRange,
14522
14522
  diff -urN -x '*.map' a/vs/editor/common/textModelEvents.js b/vs/editor/common/textModelEvents.js
14523
- --- a/vs/editor/common/textModelEvents.js 2023-07-13 09:45:30.084864857 +0000
14524
- +++ b/vs/editor/common/textModelEvents.js 2023-07-13 09:47:10.060946096 +0000
14523
+ --- a/vs/editor/common/textModelEvents.js 2023-07-24 12:38:14.979683923 +0000
14524
+ +++ b/vs/editor/common/textModelEvents.js 2023-07-24 12:39:54.498701893 +0000
14525
14525
  @@ -58,6 +58,9 @@
14526
14526
  this.options = options;
14527
14527
  this.order = order;
@@ -14533,8 +14533,8 @@ diff -urN -x '*.map' a/vs/editor/common/textModelEvents.js b/vs/editor/common/te
14533
14533
  /**
14534
14534
  * An event describing that a line has changed in a model.
14535
14535
  diff -urN -x '*.map' a/vs/editor/common/tokens/contiguousMultilineTokens.js b/vs/editor/common/tokens/contiguousMultilineTokens.js
14536
- --- a/vs/editor/common/tokens/contiguousMultilineTokens.js 2023-07-13 09:45:30.060864869 +0000
14537
- +++ b/vs/editor/common/tokens/contiguousMultilineTokens.js 2023-07-13 09:47:10.060946096 +0000
14536
+ --- a/vs/editor/common/tokens/contiguousMultilineTokens.js 2023-07-24 12:38:14.959684142 +0000
14537
+ +++ b/vs/editor/common/tokens/contiguousMultilineTokens.js 2023-07-24 12:39:54.498701893 +0000
14538
14538
  @@ -1,7 +1,33 @@
14539
14539
  +/*---------------------------------------------------------------------------------------------
14540
14540
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -14712,8 +14712,8 @@ diff -urN -x '*.map' a/vs/editor/common/tokens/contiguousMultilineTokens.js b/vs
14712
14712
  + }
14713
14713
  }
14714
14714
  diff -urN -x '*.map' a/vs/editor/common/tokens/contiguousMultilineTokensBuilder.js b/vs/editor/common/tokens/contiguousMultilineTokensBuilder.js
14715
- --- a/vs/editor/common/tokens/contiguousMultilineTokensBuilder.js 2023-07-13 09:45:30.060864869 +0000
14716
- +++ b/vs/editor/common/tokens/contiguousMultilineTokensBuilder.js 2023-07-13 09:47:10.060946096 +0000
14715
+ --- a/vs/editor/common/tokens/contiguousMultilineTokensBuilder.js 2023-07-24 12:38:14.959684142 +0000
14716
+ +++ b/vs/editor/common/tokens/contiguousMultilineTokensBuilder.js 2023-07-24 12:39:54.498701893 +0000
14717
14717
  @@ -1,5 +1,20 @@
14718
14718
  +/*---------------------------------------------------------------------------------------------
14719
14719
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -14763,8 +14763,8 @@ diff -urN -x '*.map' a/vs/editor/common/tokens/contiguousMultilineTokensBuilder.
14763
14763
  + }
14764
14764
  }
14765
14765
  diff -urN -x '*.map' a/vs/editor/common/viewLayout/linesLayout.js b/vs/editor/common/viewLayout/linesLayout.js
14766
- --- a/vs/editor/common/viewLayout/linesLayout.js 2023-07-13 09:45:30.080864859 +0000
14767
- +++ b/vs/editor/common/viewLayout/linesLayout.js 2023-07-13 09:47:10.064946097 +0000
14766
+ --- a/vs/editor/common/viewLayout/linesLayout.js 2023-07-24 12:38:14.975683967 +0000
14767
+ +++ b/vs/editor/common/viewLayout/linesLayout.js 2023-07-24 12:39:54.502701847 +0000
14768
14768
  @@ -421,6 +421,13 @@
14769
14769
  return previousLinesHeight + previousWhitespacesHeight + this._paddingTop;
14770
14770
  }
@@ -14780,8 +14780,8 @@ diff -urN -x '*.map' a/vs/editor/common/viewLayout/linesLayout.js b/vs/editor/co
14780
14780
  */
14781
14781
  getWhitespaceMinWidth() {
14782
14782
  diff -urN -x '*.map' a/vs/editor/common/viewLayout/viewLineRenderer.js b/vs/editor/common/viewLayout/viewLineRenderer.js
14783
- --- a/vs/editor/common/viewLayout/viewLineRenderer.js 2023-07-13 09:45:30.080864859 +0000
14784
- +++ b/vs/editor/common/viewLayout/viewLineRenderer.js 2023-07-13 09:47:10.064946097 +0000
14783
+ --- a/vs/editor/common/viewLayout/viewLineRenderer.js 2023-07-24 12:38:14.975683967 +0000
14784
+ +++ b/vs/editor/common/viewLayout/viewLineRenderer.js 2023-07-24 12:39:54.502701847 +0000
14785
14785
  @@ -200,6 +200,17 @@
14786
14786
  }
14787
14787
  return max;
@@ -14801,8 +14801,8 @@ diff -urN -x '*.map' a/vs/editor/common/viewLayout/viewLineRenderer.js b/vs/edit
14801
14801
  export class RenderLineOutput {
14802
14802
  constructor(characterMapping, containsRTL, containsForeignElements) {
14803
14803
  diff -urN -x '*.map' a/vs/editor/common/viewModel/viewModelLines.js b/vs/editor/common/viewModel/viewModelLines.js
14804
- --- a/vs/editor/common/viewModel/viewModelLines.js 2023-07-13 09:45:30.080864859 +0000
14805
- +++ b/vs/editor/common/viewModel/viewModelLines.js 2023-07-13 09:47:10.076946100 +0000
14804
+ --- a/vs/editor/common/viewModel/viewModelLines.js 2023-07-24 12:38:14.979683923 +0000
14805
+ +++ b/vs/editor/common/viewModel/viewModelLines.js 2023-07-24 12:39:54.510701754 +0000
14806
14806
  @@ -761,6 +761,9 @@
14807
14807
  * Represents a view line. Can be used to efficiently query more information about it.
14808
14808
  */
@@ -14814,8 +14814,8 @@ diff -urN -x '*.map' a/vs/editor/common/viewModel/viewModelLines.js b/vs/editor/
14814
14814
  this.modelLineNumber = modelLineNumber;
14815
14815
  this.modelLineWrappedLineIdx = modelLineWrappedLineIdx;
14816
14816
  diff -urN -x '*.map' a/vs/editor/contrib/codeAction/browser/codeAction.js b/vs/editor/contrib/codeAction/browser/codeAction.js
14817
- --- a/vs/editor/contrib/codeAction/browser/codeAction.js 2023-07-13 09:45:29.968864916 +0000
14818
- +++ b/vs/editor/contrib/codeAction/browser/codeAction.js 2023-07-13 09:47:10.088946104 +0000
14817
+ --- a/vs/editor/contrib/codeAction/browser/codeAction.js 2023-07-24 12:38:14.891684884 +0000
14818
+ +++ b/vs/editor/contrib/codeAction/browser/codeAction.js 2023-07-24 12:39:54.526701568 +0000
14819
14819
  @@ -32,6 +32,7 @@
14820
14820
  export const quickFixCommandId = 'editor.action.quickFix';
14821
14821
  export const autoFixCommandId = 'editor.action.autoFix';
@@ -14825,8 +14825,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/codeAction/browser/codeAction.js b/vs/e
14825
14825
  export const organizeImportsCommandId = 'editor.action.organizeImports';
14826
14826
  export const fixAllCommandId = 'editor.action.fixAll';
14827
14827
  diff -urN -x '*.map' a/vs/editor/contrib/codelens/browser/codelensWidget.js b/vs/editor/contrib/codelens/browser/codelensWidget.js
14828
- --- a/vs/editor/contrib/codelens/browser/codelensWidget.js 2023-07-13 09:45:29.944864928 +0000
14829
- +++ b/vs/editor/contrib/codelens/browser/codelensWidget.js 2023-07-13 09:47:10.080946102 +0000
14828
+ --- a/vs/editor/contrib/codelens/browser/codelensWidget.js 2023-07-24 12:38:14.871685103 +0000
14829
+ +++ b/vs/editor/contrib/codelens/browser/codelensWidget.js 2023-07-24 12:39:54.518701661 +0000
14830
14830
  @@ -259,4 +259,7 @@
14831
14831
  }
14832
14832
  }
@@ -14836,8 +14836,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/codelens/browser/codelensWidget.js b/vs
14836
14836
  + }
14837
14837
  }
14838
14838
  diff -urN -x '*.map' a/vs/editor/contrib/colorPicker/browser/colorContributions.js b/vs/editor/contrib/colorPicker/browser/colorContributions.js
14839
- --- a/vs/editor/contrib/colorPicker/browser/colorContributions.js 2023-07-13 09:45:29.944864928 +0000
14840
- +++ b/vs/editor/contrib/colorPicker/browser/colorContributions.js 2023-07-13 09:47:10.092946105 +0000
14839
+ --- a/vs/editor/contrib/colorPicker/browser/colorContributions.js 2023-07-24 12:38:14.871685103 +0000
14840
+ +++ b/vs/editor/contrib/colorPicker/browser/colorContributions.js 2023-07-24 12:39:54.530701522 +0000
14841
14841
  @@ -42,6 +42,7 @@
14842
14842
  }
14843
14843
  }
@@ -14848,8 +14848,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/colorPicker/browser/colorContributions.
14848
14848
  registerEditorContribution(ColorContribution.ID, ColorContribution, 2 /* EditorContributionInstantiation.BeforeFirstInteraction */);
14849
14849
  HoverParticipantRegistry.register(ColorHoverParticipant);
14850
14850
  diff -urN -x '*.map' a/vs/editor/contrib/colorPicker/browser/colorDetector.js b/vs/editor/contrib/colorPicker/browser/colorDetector.js
14851
- --- a/vs/editor/contrib/colorPicker/browser/colorDetector.js 2023-07-13 09:45:29.944864928 +0000
14852
- +++ b/vs/editor/contrib/colorPicker/browser/colorDetector.js 2023-07-13 09:47:10.092946105 +0000
14851
+ --- a/vs/editor/contrib/colorPicker/browser/colorDetector.js 2023-07-24 12:38:14.871685103 +0000
14852
+ +++ b/vs/editor/contrib/colorPicker/browser/colorDetector.js 2023-07-24 12:39:54.530701522 +0000
14853
14853
  @@ -93,6 +93,9 @@
14854
14854
  }
14855
14855
  return this._editor.getOption(18 /* EditorOption.colorDecorators */);
@@ -14878,8 +14878,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/colorPicker/browser/colorDetector.js b/
14878
14878
  if (computed !== this._computed || limited !== this._limited) {
14879
14879
  this._computed = computed;
14880
14880
  diff -urN -x '*.map' a/vs/editor/contrib/colorPicker/browser/colorHoverParticipant.js b/vs/editor/contrib/colorPicker/browser/colorHoverParticipant.js
14881
- --- a/vs/editor/contrib/colorPicker/browser/colorHoverParticipant.js 2023-07-13 09:45:29.944864928 +0000
14882
- +++ b/vs/editor/contrib/colorPicker/browser/colorHoverParticipant.js 2023-07-13 09:47:10.092946105 +0000
14881
+ --- a/vs/editor/contrib/colorPicker/browser/colorHoverParticipant.js 2023-07-24 12:38:14.871685103 +0000
14882
+ +++ b/vs/editor/contrib/colorPicker/browser/colorHoverParticipant.js 2023-07-24 12:39:54.530701522 +0000
14883
14883
  @@ -101,6 +101,7 @@
14884
14884
  constructor(_editor, _themeService) {
14885
14885
  this._editor = _editor;
@@ -14889,8 +14889,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/colorPicker/browser/colorHoverParticipa
14889
14889
  }
14890
14890
  createColorHover(defaultColorInfo, defaultColorProvider, colorProviderRegistry) {
14891
14891
  diff -urN -x '*.map' a/vs/editor/contrib/colorPicker/browser/colorPickerWidget.js b/vs/editor/contrib/colorPicker/browser/colorPickerWidget.js
14892
- --- a/vs/editor/contrib/colorPicker/browser/colorPickerWidget.js 2023-07-13 09:45:29.944864928 +0000
14893
- +++ b/vs/editor/contrib/colorPicker/browser/colorPickerWidget.js 2023-07-13 09:47:10.092946105 +0000
14892
+ --- a/vs/editor/contrib/colorPicker/browser/colorPickerWidget.js 2023-07-24 12:38:14.871685103 +0000
14893
+ +++ b/vs/editor/contrib/colorPicker/browser/colorPickerWidget.js 2023-07-24 12:39:54.530701522 +0000
14894
14894
  @@ -49,6 +49,9 @@
14895
14895
  this._closeButton = this._register(new CloseButton(this._domNode));
14896
14896
  }
@@ -14937,8 +14937,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/colorPicker/browser/colorPickerWidget.j
14937
14937
  }
14938
14938
  +ColorPickerWidget.ID = 'editor.contrib.colorPickerWidget';
14939
14939
  diff -urN -x '*.map' a/vs/editor/contrib/dnd/browser/dnd.js b/vs/editor/contrib/dnd/browser/dnd.js
14940
- --- a/vs/editor/contrib/dnd/browser/dnd.js 2023-07-13 09:45:29.948864926 +0000
14941
- +++ b/vs/editor/contrib/dnd/browser/dnd.js 2023-07-13 09:47:10.076946100 +0000
14940
+ --- a/vs/editor/contrib/dnd/browser/dnd.js 2023-07-24 12:38:14.871685103 +0000
14941
+ +++ b/vs/editor/contrib/dnd/browser/dnd.js 2023-07-24 12:39:54.510701754 +0000
14942
14942
  @@ -20,6 +20,9 @@
14943
14943
  }
14944
14944
  }
@@ -14950,8 +14950,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/dnd/browser/dnd.js b/vs/editor/contrib/
14950
14950
  super();
14951
14951
  this._editor = editor;
14952
14952
  diff -urN -x '*.map' a/vs/editor/contrib/documentSymbols/browser/outlineModel.js b/vs/editor/contrib/documentSymbols/browser/outlineModel.js
14953
- --- a/vs/editor/contrib/documentSymbols/browser/outlineModel.js 2023-07-13 09:45:30.004864898 +0000
14954
- +++ b/vs/editor/contrib/documentSymbols/browser/outlineModel.js 2023-07-13 09:47:10.096946106 +0000
14953
+ --- a/vs/editor/contrib/documentSymbols/browser/outlineModel.js 2023-07-24 12:38:14.919684578 +0000
14954
+ +++ b/vs/editor/contrib/documentSymbols/browser/outlineModel.js 2023-07-24 12:39:54.530701522 +0000
14955
14955
  @@ -20,11 +20,12 @@
14956
14956
  step((generator = generator.apply(thisArg, _arguments || [])).next());
14957
14957
  });
@@ -15140,8 +15140,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/documentSymbols/browser/outlineModel.js
15140
15140
  OutlineModelService = __decorate([
15141
15141
  __param(0, ILanguageFeaturesService),
15142
15142
  diff -urN -x '*.map' a/vs/editor/contrib/dropOrPasteInto/browser/copyPasteController.js b/vs/editor/contrib/dropOrPasteInto/browser/copyPasteController.js
15143
- --- a/vs/editor/contrib/dropOrPasteInto/browser/copyPasteController.js 2023-07-13 09:45:29.976864912 +0000
15144
- +++ b/vs/editor/contrib/dropOrPasteInto/browser/copyPasteController.js 2023-07-13 09:47:10.096946106 +0000
15143
+ --- a/vs/editor/contrib/dropOrPasteInto/browser/copyPasteController.js 2023-07-24 12:38:14.899684797 +0000
15144
+ +++ b/vs/editor/contrib/dropOrPasteInto/browser/copyPasteController.js 2023-07-24 12:39:54.530701522 +0000
15145
15145
  @@ -77,6 +77,9 @@
15146
15146
  this._pasteAsActionContext = undefined;
15147
15147
  }
@@ -15153,8 +15153,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/dropOrPasteInto/browser/copyPasteContro
15153
15153
  return this._editor.getOption(82 /* EditorOption.pasteAs */).enabled
15154
15154
  && !this._editor.getOption(88 /* EditorOption.readOnly */);
15155
15155
  diff -urN -x '*.map' a/vs/editor/contrib/dropOrPasteInto/browser/dropIntoEditorController.js b/vs/editor/contrib/dropOrPasteInto/browser/dropIntoEditorController.js
15156
- --- a/vs/editor/contrib/dropOrPasteInto/browser/dropIntoEditorController.js 2023-07-13 09:45:29.976864912 +0000
15157
- +++ b/vs/editor/contrib/dropOrPasteInto/browser/dropIntoEditorController.js 2023-07-13 09:47:10.096946106 +0000
15156
+ --- a/vs/editor/contrib/dropOrPasteInto/browser/dropIntoEditorController.js 2023-07-24 12:38:14.899684797 +0000
15157
+ +++ b/vs/editor/contrib/dropOrPasteInto/browser/dropIntoEditorController.js 2023-07-24 12:39:54.530701522 +0000
15158
15158
  @@ -51,6 +51,9 @@
15159
15159
  this._postDropWidgetManager = this._register(instantiationService.createInstance(PostEditWidgetManager, 'dropIntoEditor', editor, dropWidgetVisibleCtx, { id: changeDropTypeCommandId, label: localize('postDropWidgetTitle', "Show drop options...") }));
15160
15160
  this._register(editor.onDropIntoEditor(e => this.onDropIntoEditor(editor, e.position, e.event)));
@@ -15166,8 +15166,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/dropOrPasteInto/browser/dropIntoEditorC
15166
15166
  this._postDropWidgetManager.tryShowSelector();
15167
15167
  }
15168
15168
  diff -urN -x '*.map' a/vs/editor/contrib/find/browser/findController.js b/vs/editor/contrib/find/browser/findController.js
15169
- --- a/vs/editor/contrib/find/browser/findController.js 2023-07-13 09:45:29.948864926 +0000
15170
- +++ b/vs/editor/contrib/find/browser/findController.js 2023-07-13 09:47:10.088946104 +0000
15169
+ --- a/vs/editor/contrib/find/browser/findController.js 2023-07-24 12:38:14.875685059 +0000
15170
+ +++ b/vs/editor/contrib/find/browser/findController.js 2023-07-24 12:39:54.522701615 +0000
15171
15171
  @@ -410,6 +410,14 @@
15172
15172
  this._widget = this._register(new FindWidget(this._editor, this, this._state, this._contextViewService, this._keybindingService, this._contextKeyService, this._themeService, this._storageService, this._notificationService));
15173
15173
  this._findOptionsWidget = this._register(new FindOptionsWidget(this._editor, this._state, this._keybindingService));
@@ -15184,8 +15184,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/find/browser/findController.js b/vs/edi
15184
15184
  FindController = __decorate([
15185
15185
  __param(1, IContextViewService),
15186
15186
  diff -urN -x '*.map' a/vs/editor/contrib/find/browser/findState.js b/vs/editor/contrib/find/browser/findState.js
15187
- --- a/vs/editor/contrib/find/browser/findState.js 2023-07-13 09:45:29.948864926 +0000
15188
- +++ b/vs/editor/contrib/find/browser/findState.js 2023-07-13 09:47:10.088946104 +0000
15187
+ --- a/vs/editor/contrib/find/browser/findState.js 2023-07-24 12:38:14.875685059 +0000
15188
+ +++ b/vs/editor/contrib/find/browser/findState.js 2023-07-24 12:39:54.522701615 +0000
15189
15189
  @@ -32,6 +32,8 @@
15190
15190
  get matchesPosition() { return this._matchesPosition; }
15191
15191
  get matchesCount() { return this._matchesCount; }
@@ -15196,8 +15196,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/find/browser/findState.js b/vs/editor/c
15196
15196
  super();
15197
15197
  this._onFindReplaceStateChange = this._register(new Emitter());
15198
15198
  diff -urN -x '*.map' a/vs/editor/contrib/find/browser/findWidget.js b/vs/editor/contrib/find/browser/findWidget.js
15199
- --- a/vs/editor/contrib/find/browser/findWidget.js 2023-07-13 09:45:29.948864926 +0000
15200
- +++ b/vs/editor/contrib/find/browser/findWidget.js 2023-07-13 09:47:10.088946104 +0000
15199
+ --- a/vs/editor/contrib/find/browser/findWidget.js 2023-07-24 12:38:14.875685059 +0000
15200
+ +++ b/vs/editor/contrib/find/browser/findWidget.js 2023-07-24 12:39:54.522701615 +0000
15201
15201
  @@ -1052,6 +1052,25 @@
15202
15202
  const value = this._codeEditor.getOption(2 /* EditorOption.accessibilitySupport */);
15203
15203
  this._findInput.setFocusInputOnOptionClick(value !== 2 /* AccessibilitySupport.Enabled */);
@@ -15225,8 +15225,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/find/browser/findWidget.js b/vs/editor/
15225
15225
  FindWidget.ID = 'editor.contrib.findWidget';
15226
15226
  export class SimpleButton extends Widget {
15227
15227
  diff -urN -x '*.map' a/vs/editor/contrib/find/browser/replacePattern.js b/vs/editor/contrib/find/browser/replacePattern.js
15228
- --- a/vs/editor/contrib/find/browser/replacePattern.js 2023-07-13 09:45:29.952864924 +0000
15229
- +++ b/vs/editor/contrib/find/browser/replacePattern.js 2023-07-13 09:47:10.088946104 +0000
15228
+ --- a/vs/editor/contrib/find/browser/replacePattern.js 2023-07-24 12:38:14.875685059 +0000
15229
+ +++ b/vs/editor/contrib/find/browser/replacePattern.js 2023-07-24 12:39:54.522701615 +0000
15230
15230
  @@ -119,6 +119,9 @@
15231
15231
  static staticValue(value) {
15232
15232
  return new ReplacePiece(value, -1, null);
@@ -15238,8 +15238,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/find/browser/replacePattern.js b/vs/edi
15238
15238
  return new ReplacePiece(null, index, caseOps);
15239
15239
  }
15240
15240
  diff -urN -x '*.map' a/vs/editor/contrib/folding/browser/folding.js b/vs/editor/contrib/folding/browser/folding.js
15241
- --- a/vs/editor/contrib/folding/browser/folding.js 2023-07-13 09:45:29.952864924 +0000
15242
- +++ b/vs/editor/contrib/folding/browser/folding.js 2023-07-13 09:47:10.092946105 +0000
15241
+ --- a/vs/editor/contrib/folding/browser/folding.js 2023-07-24 12:38:14.875685059 +0000
15242
+ +++ b/vs/editor/contrib/folding/browser/folding.js 2023-07-24 12:39:54.530701522 +0000
15243
15243
  @@ -60,6 +60,10 @@
15244
15244
  const foldingRangeProviders = languageFeaturesService.foldingRangeProvider.ordered(model);
15245
15245
  return (_b = ((_a = FoldingController._foldingRangeSelector) === null || _a === void 0 ? void 0 : _a.call(FoldingController, foldingRangeProviders, model))) !== null && _b !== void 0 ? _b : foldingRangeProviders;
@@ -15282,8 +15282,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/folding/browser/folding.js b/vs/editor/
15282
15282
  if (computed !== this._computed || limited !== this._limited) {
15283
15283
  this._computed = computed;
15284
15284
  diff -urN -x '*.map' a/vs/editor/contrib/folding/browser/foldingModel.js b/vs/editor/contrib/folding/browser/foldingModel.js
15285
- --- a/vs/editor/contrib/folding/browser/foldingModel.js 2023-07-13 09:45:29.952864924 +0000
15286
- +++ b/vs/editor/contrib/folding/browser/foldingModel.js 2023-07-13 09:47:10.092946105 +0000
15285
+ --- a/vs/editor/contrib/folding/browser/foldingModel.js 2023-07-24 12:38:14.875685059 +0000
15286
+ +++ b/vs/editor/contrib/folding/browser/foldingModel.js 2023-07-24 12:39:54.530701522 +0000
15287
15287
  @@ -8,6 +8,7 @@
15288
15288
  export class FoldingModel {
15289
15289
  get regions() { return this._regions; }
@@ -15293,8 +15293,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/folding/browser/foldingModel.js b/vs/ed
15293
15293
  this._updateEventEmitter = new Emitter();
15294
15294
  this.onDidChange = this._updateEventEmitter.event;
15295
15295
  diff -urN -x '*.map' a/vs/editor/contrib/folding/browser/foldingRanges.js b/vs/editor/contrib/folding/browser/foldingRanges.js
15296
- --- a/vs/editor/contrib/folding/browser/foldingRanges.js 2023-07-13 09:45:29.952864924 +0000
15297
- +++ b/vs/editor/contrib/folding/browser/foldingRanges.js 2023-07-13 09:47:10.092946105 +0000
15296
+ --- a/vs/editor/contrib/folding/browser/foldingRanges.js 2023-07-24 12:38:14.879685015 +0000
15297
+ +++ b/vs/editor/contrib/folding/browser/foldingRanges.js 2023-07-24 12:39:54.530701522 +0000
15298
15298
  @@ -348,4 +348,7 @@
15299
15299
  containsLine(lineNumber) {
15300
15300
  return this.startLineNumber <= lineNumber && lineNumber <= this.endLineNumber;
@@ -15304,8 +15304,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/folding/browser/foldingRanges.js b/vs/e
15304
15304
  + }
15305
15305
  }
15306
15306
  diff -urN -x '*.map' a/vs/editor/contrib/gotoError/browser/gotoErrorWidget.js b/vs/editor/contrib/gotoError/browser/gotoErrorWidget.js
15307
- --- a/vs/editor/contrib/gotoError/browser/gotoErrorWidget.js 2023-07-13 09:45:29.960864920 +0000
15308
- +++ b/vs/editor/contrib/gotoError/browser/gotoErrorWidget.js 2023-07-13 09:47:10.084946103 +0000
15307
+ --- a/vs/editor/contrib/gotoError/browser/gotoErrorWidget.js 2023-07-24 12:38:14.887684928 +0000
15308
+ +++ b/vs/editor/contrib/gotoError/browser/gotoErrorWidget.js 2023-07-24 12:39:54.522701615 +0000
15309
15309
  @@ -243,6 +243,9 @@
15310
15310
  this._callOnDispose.dispose();
15311
15311
  super.dispose();
@@ -15317,8 +15317,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/gotoError/browser/gotoErrorWidget.js b/
15317
15317
  super._fillHead(container);
15318
15318
  this._disposables.add(this._actionbarWidget.actionRunner.onWillRun(e => this.editor.focus()));
15319
15319
  diff -urN -x '*.map' a/vs/editor/contrib/gotoError/browser/markerNavigationService.js b/vs/editor/contrib/gotoError/browser/markerNavigationService.js
15320
- --- a/vs/editor/contrib/gotoError/browser/markerNavigationService.js 2023-07-13 09:45:29.960864920 +0000
15321
- +++ b/vs/editor/contrib/gotoError/browser/markerNavigationService.js 2023-07-13 09:47:10.084946103 +0000
15320
+ --- a/vs/editor/contrib/gotoError/browser/markerNavigationService.js 2023-07-24 12:38:14.887684928 +0000
15321
+ +++ b/vs/editor/contrib/gotoError/browser/markerNavigationService.js 2023-07-24 12:39:54.522701615 +0000
15322
15322
  @@ -13,7 +13,7 @@
15323
15323
  };
15324
15324
  import { binarySearch } from '../../../../base/common/arrays.js';
@@ -15340,8 +15340,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/gotoError/browser/markerNavigationServi
15340
15340
  for (const provider of this._provider) {
15341
15341
  const result = provider.getMarkerList(resource);
15342
15342
  diff -urN -x '*.map' a/vs/editor/contrib/gotoSymbol/browser/peek/referencesTree.js b/vs/editor/contrib/gotoSymbol/browser/peek/referencesTree.js
15343
- --- a/vs/editor/contrib/gotoSymbol/browser/peek/referencesTree.js 2023-07-13 09:45:29.960864920 +0000
15344
- +++ b/vs/editor/contrib/gotoSymbol/browser/peek/referencesTree.js 2023-07-13 09:47:10.088946104 +0000
15343
+ --- a/vs/editor/contrib/gotoSymbol/browser/peek/referencesTree.js 2023-07-24 12:38:14.883684972 +0000
15344
+ +++ b/vs/editor/contrib/gotoSymbol/browser/peek/referencesTree.js 2023-07-24 12:39:54.522701615 +0000
15345
15345
  @@ -87,6 +87,9 @@
15346
15346
  // FileReferences or unresolved OneReference
15347
15347
  return basename(element.uri);
@@ -15353,8 +15353,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/gotoSymbol/browser/peek/referencesTree.
15353
15353
  StringRepresentationProvider = __decorate([
15354
15354
  __param(0, IKeybindingService)
15355
15355
  diff -urN -x '*.map' a/vs/editor/contrib/inlayHints/browser/inlayHintsController.js b/vs/editor/contrib/inlayHints/browser/inlayHintsController.js
15356
- --- a/vs/editor/contrib/inlayHints/browser/inlayHintsController.js 2023-07-13 09:45:30.008864896 +0000
15357
- +++ b/vs/editor/contrib/inlayHints/browser/inlayHintsController.js 2023-07-13 09:47:10.088946104 +0000
15356
+ --- a/vs/editor/contrib/inlayHints/browser/inlayHintsController.js 2023-07-24 12:38:14.919684578 +0000
15357
+ +++ b/vs/editor/contrib/inlayHints/browser/inlayHintsController.js 2023-07-24 12:39:54.522701615 +0000
15358
15358
  @@ -547,6 +547,22 @@
15359
15359
  }
15360
15360
  this._decorationsMetadata.clear();
@@ -15379,8 +15379,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/inlayHints/browser/inlayHintsController
15379
15379
  InlayHintsController.ID = 'editor.contrib.InlayHints';
15380
15380
  InlayHintsController._MAX_DECORATORS = 1500;
15381
15381
  diff -urN -x '*.map' a/vs/editor/contrib/inlineCompletions/browser/ghostText.js b/vs/editor/contrib/inlineCompletions/browser/ghostText.js
15382
- --- a/vs/editor/contrib/inlineCompletions/browser/ghostText.js 2023-07-13 09:45:29.956864922 +0000
15383
- +++ b/vs/editor/contrib/inlineCompletions/browser/ghostText.js 2023-07-13 09:47:10.084946103 +0000
15382
+ --- a/vs/editor/contrib/inlineCompletions/browser/ghostText.js 2023-07-24 12:38:14.879685015 +0000
15383
+ +++ b/vs/editor/contrib/inlineCompletions/browser/ghostText.js 2023-07-24 12:39:54.522701615 +0000
15384
15384
  @@ -1,9 +1,31 @@
15385
15385
  +/*---------------------------------------------------------------------------------------------
15386
15386
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -15447,8 +15447,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/inlineCompletions/browser/ghostText.js
15447
15447
  return this.newLines.length;
15448
15448
  }
15449
15449
  diff -urN -x '*.map' a/vs/editor/contrib/inlineCompletions/browser/inlineCompletionsController.js b/vs/editor/contrib/inlineCompletions/browser/inlineCompletionsController.js
15450
- --- a/vs/editor/contrib/inlineCompletions/browser/inlineCompletionsController.js 2023-07-13 09:45:29.956864922 +0000
15451
- +++ b/vs/editor/contrib/inlineCompletions/browser/inlineCompletionsController.js 2023-07-13 09:47:10.084946103 +0000
15450
+ --- a/vs/editor/contrib/inlineCompletions/browser/inlineCompletionsController.js 2023-07-24 12:38:14.879685015 +0000
15451
+ +++ b/vs/editor/contrib/inlineCompletions/browser/inlineCompletionsController.js 2023-07-24 12:39:54.518701661 +0000
15452
15452
  @@ -191,6 +191,12 @@
15453
15453
  shouldShowHoverAtViewZone(viewZoneId) {
15454
15454
  return this.ghostTextWidget.ownsViewZone(viewZoneId);
@@ -15463,8 +15463,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/inlineCompletions/browser/inlineComplet
15463
15463
  InlineCompletionsController.ID = 'editor.contrib.inlineCompletionsController';
15464
15464
  InlineCompletionsController = __decorate([
15465
15465
  diff -urN -x '*.map' a/vs/editor/contrib/inlineCompletions/browser/provideInlineCompletions.js b/vs/editor/contrib/inlineCompletions/browser/provideInlineCompletions.js
15466
- --- a/vs/editor/contrib/inlineCompletions/browser/provideInlineCompletions.js 2023-07-13 09:45:29.956864922 +0000
15467
- +++ b/vs/editor/contrib/inlineCompletions/browser/provideInlineCompletions.js 2023-07-13 09:47:10.084946103 +0000
15466
+ --- a/vs/editor/contrib/inlineCompletions/browser/provideInlineCompletions.js 2023-07-24 12:38:14.883684972 +0000
15467
+ +++ b/vs/editor/contrib/inlineCompletions/browser/provideInlineCompletions.js 2023-07-24 12:39:54.518701661 +0000
15468
15468
  @@ -16,6 +16,7 @@
15469
15469
  import { onUnexpectedExternalError } from '../../../../base/common/errors.js';
15470
15470
  import { Range } from '../../../common/core/range.js';
@@ -15484,8 +15484,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/inlineCompletions/browser/provideInline
15484
15484
  function getDefaultRange(position, model) {
15485
15485
  const word = model.getWordAtPosition(position);
15486
15486
  diff -urN -x '*.map' a/vs/editor/contrib/linkedEditing/browser/linkedEditing.js b/vs/editor/contrib/linkedEditing/browser/linkedEditing.js
15487
- --- a/vs/editor/contrib/linkedEditing/browser/linkedEditing.js 2023-07-13 09:45:29.972864914 +0000
15488
- +++ b/vs/editor/contrib/linkedEditing/browser/linkedEditing.js 2023-07-13 09:47:10.088946104 +0000
15487
+ --- a/vs/editor/contrib/linkedEditing/browser/linkedEditing.js 2023-07-24 12:38:14.895684841 +0000
15488
+ +++ b/vs/editor/contrib/linkedEditing/browser/linkedEditing.js 2023-07-24 12:39:54.522701615 +0000
15489
15489
  @@ -205,6 +205,12 @@
15490
15490
  this._currentRequestPosition = null;
15491
15491
  }
@@ -15511,8 +15511,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/linkedEditing/browser/linkedEditing.js
15511
15511
  LinkedEditingContribution.ID = 'editor.contrib.linkedEditing';
15512
15512
  LinkedEditingContribution.DECORATION = ModelDecorationOptions.register({
15513
15513
  diff -urN -x '*.map' a/vs/editor/contrib/longLinesHelper/browser/longLinesHelper.js b/vs/editor/contrib/longLinesHelper/browser/longLinesHelper.js
15514
- --- a/vs/editor/contrib/longLinesHelper/browser/longLinesHelper.js 2023-07-13 09:45:30.012864894 +0000
15515
- +++ b/vs/editor/contrib/longLinesHelper/browser/longLinesHelper.js 2023-07-13 09:47:10.088946104 +0000
15514
+ --- a/vs/editor/contrib/longLinesHelper/browser/longLinesHelper.js 2023-07-24 12:38:14.923684535 +0000
15515
+ +++ b/vs/editor/contrib/longLinesHelper/browser/longLinesHelper.js 2023-07-24 12:39:54.526701568 +0000
15516
15516
  @@ -5,6 +5,9 @@
15517
15517
  import { Disposable } from '../../../../base/common/lifecycle.js';
15518
15518
  import { registerEditorContribution } from '../../../browser/editorExtensions.js';
@@ -15524,8 +15524,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/longLinesHelper/browser/longLinesHelper
15524
15524
  super();
15525
15525
  this._editor = _editor;
15526
15526
  diff -urN -x '*.map' a/vs/editor/contrib/message/browser/messageController.js b/vs/editor/contrib/message/browser/messageController.js
15527
- --- a/vs/editor/contrib/message/browser/messageController.js 2023-07-13 09:45:29.972864914 +0000
15528
- +++ b/vs/editor/contrib/message/browser/messageController.js 2023-07-13 09:47:10.096946106 +0000
15527
+ --- a/vs/editor/contrib/message/browser/messageController.js 2023-07-24 12:38:14.895684841 +0000
15528
+ +++ b/vs/editor/contrib/message/browser/messageController.js 2023-07-24 12:39:54.530701522 +0000
15529
15529
  @@ -34,6 +34,9 @@
15530
15530
  this._messageWidget.dispose();
15531
15531
  this._visible.reset();
@@ -15537,8 +15537,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/message/browser/messageController.js b/
15537
15537
  alert(message);
15538
15538
  this._visible.set(true);
15539
15539
  diff -urN -x '*.map' a/vs/editor/contrib/multicursor/browser/multicursor.js b/vs/editor/contrib/multicursor/browser/multicursor.js
15540
- --- a/vs/editor/contrib/multicursor/browser/multicursor.js 2023-07-13 09:45:30.012864894 +0000
15541
- +++ b/vs/editor/contrib/multicursor/browser/multicursor.js 2023-07-13 09:47:10.080946102 +0000
15540
+ --- a/vs/editor/contrib/multicursor/browser/multicursor.js 2023-07-24 12:38:14.923684535 +0000
15541
+ +++ b/vs/editor/contrib/multicursor/browser/multicursor.js 2023-07-24 12:39:54.518701661 +0000
15542
15542
  @@ -550,6 +550,11 @@
15543
15543
  this._setSelections(matches.map(m => new Selection(m.range.startLineNumber, m.range.startColumn, m.range.endLineNumber, m.range.endColumn)));
15544
15544
  }
@@ -15552,8 +15552,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/multicursor/browser/multicursor.js b/vs
15552
15552
  MultiCursorSelectionController.ID = 'editor.contrib.multiCursorController';
15553
15553
  export class MultiCursorSelectionControllerAction extends EditorAction {
15554
15554
  diff -urN -x '*.map' a/vs/editor/contrib/semanticTokens/browser/viewportSemanticTokens.js b/vs/editor/contrib/semanticTokens/browser/viewportSemanticTokens.js
15555
- --- a/vs/editor/contrib/semanticTokens/browser/viewportSemanticTokens.js 2023-07-13 09:45:30.000864900 +0000
15556
- +++ b/vs/editor/contrib/semanticTokens/browser/viewportSemanticTokens.js 2023-07-13 09:47:10.088946104 +0000
15555
+ --- a/vs/editor/contrib/semanticTokens/browser/viewportSemanticTokens.js 2023-07-24 12:38:14.915684622 +0000
15556
+ +++ b/vs/editor/contrib/semanticTokens/browser/viewportSemanticTokens.js 2023-07-24 12:39:54.526701568 +0000
15557
15557
  @@ -24,6 +24,9 @@
15558
15558
  import { ILanguageFeaturesService } from '../../../common/services/languageFeatures.js';
15559
15559
  import { ISemanticTokensStylingService } from '../../../common/services/semanticTokensStyling.js';
@@ -15565,8 +15565,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/semanticTokens/browser/viewportSemantic
15565
15565
  super();
15566
15566
  this._semanticTokensStylingService = _semanticTokensStylingService;
15567
15567
  diff -urN -x '*.map' a/vs/editor/contrib/snippet/browser/snippetController2.js b/vs/editor/contrib/snippet/browser/snippetController2.js
15568
- --- a/vs/editor/contrib/snippet/browser/snippetController2.js 2023-07-13 09:45:29.980864910 +0000
15569
- +++ b/vs/editor/contrib/snippet/browser/snippetController2.js 2023-07-13 09:47:10.092946105 +0000
15568
+ --- a/vs/editor/contrib/snippet/browser/snippetController2.js 2023-07-24 12:38:14.903684753 +0000
15569
+ +++ b/vs/editor/contrib/snippet/browser/snippetController2.js 2023-07-24 12:39:54.526701568 +0000
15570
15570
  @@ -55,6 +55,18 @@
15571
15571
  (_a = this._session) === null || _a === void 0 ? void 0 : _a.dispose();
15572
15572
  this._snippetListener.dispose();
@@ -15600,8 +15600,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/snippet/browser/snippetController2.js b
15600
15600
  SnippetController2.ID = 'snippetController2';
15601
15601
  SnippetController2.InSnippetMode = new RawContextKey('inSnippetMode', false, localize('inSnippetMode', "Whether the editor in current in snippet mode"));
15602
15602
  diff -urN -x '*.map' a/vs/editor/contrib/snippet/browser/snippetParser.js b/vs/editor/contrib/snippet/browser/snippetParser.js
15603
- --- a/vs/editor/contrib/snippet/browser/snippetParser.js 2023-07-13 09:45:29.980864910 +0000
15604
- +++ b/vs/editor/contrib/snippet/browser/snippetParser.js 2023-07-13 09:47:10.092946105 +0000
15603
+ --- a/vs/editor/contrib/snippet/browser/snippetParser.js 2023-07-24 12:38:14.903684753 +0000
15604
+ +++ b/vs/editor/contrib/snippet/browser/snippetParser.js 2023-07-24 12:39:54.526701568 +0000
15605
15605
  @@ -140,6 +140,9 @@
15606
15606
  }
15607
15607
  }
@@ -15738,8 +15738,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/snippet/browser/snippetParser.js b/vs/e
15738
15738
  return /\${?CLIPBOARD/.test(template);
15739
15739
  }
15740
15740
  diff -urN -x '*.map' a/vs/editor/contrib/snippet/browser/snippetSession.js b/vs/editor/contrib/snippet/browser/snippetSession.js
15741
- --- a/vs/editor/contrib/snippet/browser/snippetSession.js 2023-07-13 09:45:29.980864910 +0000
15742
- +++ b/vs/editor/contrib/snippet/browser/snippetSession.js 2023-07-13 09:47:10.092946105 +0000
15741
+ --- a/vs/editor/contrib/snippet/browser/snippetSession.js 2023-07-24 12:38:14.903684753 +0000
15742
+ +++ b/vs/editor/contrib/snippet/browser/snippetSession.js 2023-07-24 12:39:54.526701568 +0000
15743
15743
  @@ -14,6 +14,7 @@
15744
15744
  import { groupBy } from '../../../../base/common/arrays.js';
15745
15745
  import { dispose } from '../../../../base/common/lifecycle.js';
@@ -15790,8 +15790,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/snippet/browser/snippetSession.js b/vs/
15790
15790
  SnippetSession = __decorate([
15791
15791
  __param(3, ILanguageConfigurationService)
15792
15792
  diff -urN -x '*.map' a/vs/editor/contrib/stickyScroll/browser/stickyScrollController.js b/vs/editor/contrib/stickyScroll/browser/stickyScrollController.js
15793
- --- a/vs/editor/contrib/stickyScroll/browser/stickyScrollController.js 2023-07-13 09:45:29.980864910 +0000
15794
- +++ b/vs/editor/contrib/stickyScroll/browser/stickyScrollController.js 2023-07-13 09:47:10.080946102 +0000
15793
+ --- a/vs/editor/contrib/stickyScroll/browser/stickyScrollController.js 2023-07-24 12:38:14.903684753 +0000
15794
+ +++ b/vs/editor/contrib/stickyScroll/browser/stickyScrollController.js 2023-07-24 12:39:54.510701754 +0000
15795
15795
  @@ -94,6 +94,12 @@
15796
15796
  this._onMouseDown = true;
15797
15797
  }));
@@ -15806,8 +15806,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/stickyScroll/browser/stickyScrollContro
15806
15806
  return editor.getContribution(StickyScrollController.ID);
15807
15807
  }
15808
15808
  diff -urN -x '*.map' a/vs/editor/contrib/stickyScroll/browser/stickyScrollModelProvider.js b/vs/editor/contrib/stickyScroll/browser/stickyScrollModelProvider.js
15809
- --- a/vs/editor/contrib/stickyScroll/browser/stickyScrollModelProvider.js 2023-07-13 09:45:29.980864910 +0000
15810
- +++ b/vs/editor/contrib/stickyScroll/browser/stickyScrollModelProvider.js 2023-07-13 09:47:10.080946102 +0000
15809
+ --- a/vs/editor/contrib/stickyScroll/browser/stickyScrollModelProvider.js 2023-07-24 12:38:14.903684753 +0000
15810
+ +++ b/vs/editor/contrib/stickyScroll/browser/stickyScrollModelProvider.js 2023-07-24 12:39:54.518701661 +0000
15811
15811
  @@ -169,6 +169,9 @@
15812
15812
  super();
15813
15813
  this._languageFeaturesService = _languageFeaturesService;
@@ -15839,8 +15839,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/stickyScroll/browser/stickyScrollModelP
15839
15839
  const selectedProviders = FoldingController.getFoldingRangeProviders(this._languageFeaturesService, textModel);
15840
15840
  return selectedProviders.length > 0;
15841
15841
  diff -urN -x '*.map' a/vs/editor/contrib/stickyScroll/browser/stickyScrollProvider.js b/vs/editor/contrib/stickyScroll/browser/stickyScrollProvider.js
15842
- --- a/vs/editor/contrib/stickyScroll/browser/stickyScrollProvider.js 2023-07-13 09:45:29.980864910 +0000
15843
- +++ b/vs/editor/contrib/stickyScroll/browser/stickyScrollProvider.js 2023-07-13 09:47:10.080946102 +0000
15842
+ --- a/vs/editor/contrib/stickyScroll/browser/stickyScrollProvider.js 2023-07-24 12:38:14.903684753 +0000
15843
+ +++ b/vs/editor/contrib/stickyScroll/browser/stickyScrollProvider.js 2023-07-24 12:39:54.518701661 +0000
15844
15844
  @@ -22,7 +22,7 @@
15845
15845
  };
15846
15846
  import { Disposable, DisposableStore } from '../../../../base/common/lifecycle.js';
@@ -15859,8 +15859,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/stickyScroll/browser/stickyScrollProvid
15859
15859
  __param(1, ILanguageFeaturesService),
15860
15860
  __param(2, ILanguageConfigurationService)
15861
15861
  diff -urN -x '*.map' a/vs/editor/contrib/stickyScroll/browser/stickyScrollWidget.js b/vs/editor/contrib/stickyScroll/browser/stickyScrollWidget.js
15862
- --- a/vs/editor/contrib/stickyScroll/browser/stickyScrollWidget.js 2023-07-13 09:45:29.984864908 +0000
15863
- +++ b/vs/editor/contrib/stickyScroll/browser/stickyScrollWidget.js 2023-07-13 09:47:10.080946102 +0000
15862
+ --- a/vs/editor/contrib/stickyScroll/browser/stickyScrollWidget.js 2023-07-24 12:38:14.903684753 +0000
15863
+ +++ b/vs/editor/contrib/stickyScroll/browser/stickyScrollWidget.js 2023-07-24 12:39:54.510701754 +0000
15864
15864
  @@ -44,6 +44,9 @@
15865
15865
  get lineNumbers() {
15866
15866
  return this._lineNumbers;
@@ -15872,8 +15872,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/stickyScroll/browser/stickyScrollWidget
15872
15872
  return this._lineNumbers;
15873
15873
  }
15874
15874
  diff -urN -x '*.map' a/vs/editor/contrib/suggest/browser/suggest.js b/vs/editor/contrib/suggest/browser/suggest.js
15875
- --- a/vs/editor/contrib/suggest/browser/suggest.js 2023-07-13 09:45:29.984864908 +0000
15876
- +++ b/vs/editor/contrib/suggest/browser/suggest.js 2023-07-13 09:47:10.076946100 +0000
15875
+ --- a/vs/editor/contrib/suggest/browser/suggest.js 2023-07-24 12:38:14.903684753 +0000
15876
+ +++ b/vs/editor/contrib/suggest/browser/suggest.js 2023-07-24 12:39:54.510701754 +0000
15877
15877
  @@ -129,6 +129,11 @@
15878
15878
  export function getSnippetSuggestSupport() {
15879
15879
  return _snippetSuggestSupport;
@@ -15887,8 +15887,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/suggest/browser/suggest.js b/vs/editor/
15887
15887
  constructor(items, needsClipboard, durations, disposable) {
15888
15888
  this.items = items;
15889
15889
  diff -urN -x '*.map' a/vs/editor/contrib/unicodeHighlighter/browser/unicodeHighlighter.js b/vs/editor/contrib/unicodeHighlighter/browser/unicodeHighlighter.js
15890
- --- a/vs/editor/contrib/unicodeHighlighter/browser/unicodeHighlighter.js 2023-07-13 09:45:29.940864930 +0000
15891
- +++ b/vs/editor/contrib/unicodeHighlighter/browser/unicodeHighlighter.js 2023-07-13 09:47:10.088946104 +0000
15890
+ --- a/vs/editor/contrib/unicodeHighlighter/browser/unicodeHighlighter.js 2023-07-24 12:38:14.867685146 +0000
15891
+ +++ b/vs/editor/contrib/unicodeHighlighter/browser/unicodeHighlighter.js 2023-07-24 12:39:54.522701615 +0000
15892
15892
  @@ -344,6 +344,18 @@
15893
15893
  };
15894
15894
  }
@@ -15925,8 +15925,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/unicodeHighlighter/browser/unicodeHighl
15925
15925
  constructor() {
15926
15926
  super({
15927
15927
  diff -urN -x '*.map' a/vs/editor/contrib/wordHighlighter/browser/wordHighlighter.js b/vs/editor/contrib/wordHighlighter/browser/wordHighlighter.js
15928
- --- a/vs/editor/contrib/wordHighlighter/browser/wordHighlighter.js 2023-07-13 09:45:29.964864918 +0000
15929
- +++ b/vs/editor/contrib/wordHighlighter/browser/wordHighlighter.js 2023-07-13 09:47:10.096946106 +0000
15928
+ --- a/vs/editor/contrib/wordHighlighter/browser/wordHighlighter.js 2023-07-24 12:38:14.887684928 +0000
15929
+ +++ b/vs/editor/contrib/wordHighlighter/browser/wordHighlighter.js 2023-07-24 12:39:54.530701522 +0000
15930
15930
  @@ -181,6 +181,12 @@
15931
15931
  }
15932
15932
  this._run();
@@ -15952,8 +15952,8 @@ diff -urN -x '*.map' a/vs/editor/contrib/wordHighlighter/browser/wordHighlighter
15952
15952
  if (this.wordHighlighter) {
15953
15953
  this.wordHighlighter.dispose();
15954
15954
  diff -urN -x '*.map' a/vs/editor/editor.main.js b/vs/editor/editor.main.js
15955
- --- a/vs/editor/editor.main.js 2023-07-13 09:45:30.088864855 +0000
15956
- +++ b/vs/editor/editor.main.js 2023-07-13 09:47:10.096946106 +0000
15955
+ --- a/vs/editor/editor.main.js 2023-07-24 12:38:14.983683880 +0000
15956
+ +++ b/vs/editor/editor.main.js 2023-07-24 12:39:54.530701522 +0000
15957
15957
  @@ -1,7 +1,15 @@
15958
15958
  -import '../basic-languages/monaco.contribution';
15959
15959
  -import '../language/css/monaco.contribution';
@@ -15979,8 +15979,8 @@ diff -urN -x '*.map' a/vs/editor/editor.main.js b/vs/editor/editor.main.js
15979
15979
  +import './standalone/browser/toggleHighContrast/toggleHighContrast.js';
15980
15980
  +export * from './editor.api.js';
15981
15981
  diff -urN -x '*.map' a/vs/editor/standalone/browser/accessibilityHelp/accessibilityHelp.js b/vs/editor/standalone/browser/accessibilityHelp/accessibilityHelp.js
15982
- --- a/vs/editor/standalone/browser/accessibilityHelp/accessibilityHelp.js 2023-07-13 09:45:29.928864936 +0000
15983
- +++ b/vs/editor/standalone/browser/accessibilityHelp/accessibilityHelp.js 2023-07-13 09:47:10.096946106 +0000
15982
+ --- a/vs/editor/standalone/browser/accessibilityHelp/accessibilityHelp.js 2023-07-24 12:38:14.855685277 +0000
15983
+ +++ b/vs/editor/standalone/browser/accessibilityHelp/accessibilityHelp.js 2023-07-24 12:39:54.534701475 +0000
15984
15984
  @@ -12,7 +12,7 @@
15985
15985
  return function (target, key) { decorator(target, key, paramIndex); }
15986
15986
  };
@@ -15991,8 +15991,8 @@ diff -urN -x '*.map' a/vs/editor/standalone/browser/accessibilityHelp/accessibil
15991
15991
  import { alert } from '../../../../base/browser/ui/aria/aria.js';
15992
15992
  import { Widget } from '../../../../base/browser/ui/widget.js';
15993
15993
  diff -urN -x '*.map' a/vs/editor/standalone/browser/quickInput/standaloneQuickInputService.js b/vs/editor/standalone/browser/quickInput/standaloneQuickInputService.js
15994
- --- a/vs/editor/standalone/browser/quickInput/standaloneQuickInputService.js 2023-07-13 09:45:29.932864934 +0000
15995
- +++ b/vs/editor/standalone/browser/quickInput/standaloneQuickInputService.js 2023-07-13 09:47:10.096946106 +0000
15994
+ --- a/vs/editor/standalone/browser/quickInput/standaloneQuickInputService.js 2023-07-24 12:38:14.859685234 +0000
15995
+ +++ b/vs/editor/standalone/browser/quickInput/standaloneQuickInputService.js 2023-07-24 12:39:54.530701522 +0000
15996
15996
  @@ -73,6 +73,9 @@
15997
15997
  return quickInputService;
15998
15998
  }
@@ -16038,8 +16038,8 @@ diff -urN -x '*.map' a/vs/editor/standalone/browser/quickInput/standaloneQuickIn
16038
16038
  StandaloneQuickInputService = __decorate([
16039
16039
  __param(0, IInstantiationService),
16040
16040
  diff -urN -x '*.map' a/vs/editor/standalone/browser/standaloneServices.js b/vs/editor/standalone/browser/standaloneServices.js
16041
- --- a/vs/editor/standalone/browser/standaloneServices.js 2023-07-13 09:45:29.936864932 +0000
16042
- +++ b/vs/editor/standalone/browser/standaloneServices.js 2023-07-13 09:47:10.096946106 +0000
16041
+ --- a/vs/editor/standalone/browser/standaloneServices.js 2023-07-24 12:38:14.863685190 +0000
16042
+ +++ b/vs/editor/standalone/browser/standaloneServices.js 2023-07-24 12:39:54.530701522 +0000
16043
16043
  @@ -30,7 +30,7 @@
16044
16044
  import * as strings from '../../../base/common/strings.js';
16045
16045
  import * as dom from '../../../base/browser/dom.js';
@@ -16404,8 +16404,8 @@ diff -urN -x '*.map' a/vs/editor/standalone/browser/standaloneServices.js b/vs/e
16404
16404
  registerSingleton(IConfigurationService, StandaloneConfigurationService, 0 /* InstantiationType.Eager */);
16405
16405
  registerSingleton(ITextResourceConfigurationService, StandaloneResourceConfigurationService, 0 /* InstantiationType.Eager */);
16406
16406
  diff -urN -x '*.map' a/vs/editor/standalone/browser/standaloneThemeService.js b/vs/editor/standalone/browser/standaloneThemeService.js
16407
- --- a/vs/editor/standalone/browser/standaloneThemeService.js 2023-07-13 09:45:29.936864932 +0000
16408
- +++ b/vs/editor/standalone/browser/standaloneThemeService.js 2023-07-13 09:47:10.096946106 +0000
16407
+ --- a/vs/editor/standalone/browser/standaloneThemeService.js 2023-07-24 12:38:14.863685190 +0000
16408
+ +++ b/vs/editor/standalone/browser/standaloneThemeService.js 2023-07-24 12:39:54.534701475 +0000
16409
16409
  @@ -44,6 +44,9 @@
16410
16410
  this.defaultColors = Object.create(null);
16411
16411
  this._tokenTheme = null;
@@ -16436,8 +16436,8 @@ diff -urN -x '*.map' a/vs/editor/standalone/browser/standaloneThemeService.js b/
16436
16436
  this.onDidProductIconThemeChange = this._onProductIconThemeChange.event;
16437
16437
  this._environment = Object.create(null);
16438
16438
  diff -urN -x '*.map' a/vs/platform/accessibility/browser/accessibilityService.js b/vs/platform/accessibility/browser/accessibilityService.js
16439
- --- a/vs/platform/accessibility/browser/accessibilityService.js 2023-07-13 09:45:30.152864822 +0000
16440
- +++ b/vs/platform/accessibility/browser/accessibilityService.js 2023-07-13 09:47:10.100946107 +0000
16439
+ --- a/vs/platform/accessibility/browser/accessibilityService.js 2023-07-24 12:38:15.031683356 +0000
16440
+ +++ b/vs/platform/accessibility/browser/accessibilityService.js 2023-07-24 12:39:54.534701475 +0000
16441
16441
  @@ -12,6 +12,7 @@
16442
16442
  return function (target, key) { decorator(target, key, paramIndex); }
16443
16443
  };
@@ -16470,8 +16470,8 @@ diff -urN -x '*.map' a/vs/platform/accessibility/browser/accessibilityService.js
16470
16470
  AccessibilityService = __decorate([
16471
16471
  __param(0, IContextKeyService),
16472
16472
  diff -urN -x '*.map' a/vs/platform/actionWidget/browser/actionWidget.js b/vs/platform/actionWidget/browser/actionWidget.js
16473
- --- a/vs/platform/actionWidget/browser/actionWidget.js 2023-07-13 09:45:30.140864829 +0000
16474
- +++ b/vs/platform/actionWidget/browser/actionWidget.js 2023-07-13 09:47:10.104946109 +0000
16473
+ --- a/vs/platform/actionWidget/browser/actionWidget.js 2023-07-24 12:38:15.023683443 +0000
16474
+ +++ b/vs/platform/actionWidget/browser/actionWidget.js 2023-07-24 12:39:54.538701429 +0000
16475
16475
  @@ -69,6 +69,9 @@
16476
16476
  (_a = this._list.value) === null || _a === void 0 ? void 0 : _a.hide();
16477
16477
  this._list.clear();
@@ -16483,8 +16483,8 @@ diff -urN -x '*.map' a/vs/platform/actionWidget/browser/actionWidget.js b/vs/pla
16483
16483
  var _a;
16484
16484
  const widget = document.createElement('div');
16485
16485
  diff -urN -x '*.map' a/vs/platform/actions/browser/menuEntryActionViewItem.js b/vs/platform/actions/browser/menuEntryActionViewItem.js
16486
- --- a/vs/platform/actions/browser/menuEntryActionViewItem.js 2023-07-13 09:45:30.144864827 +0000
16487
- +++ b/vs/platform/actions/browser/menuEntryActionViewItem.js 2023-07-13 09:47:10.104946109 +0000
16486
+ --- a/vs/platform/actions/browser/menuEntryActionViewItem.js 2023-07-24 12:38:15.027683399 +0000
16487
+ +++ b/vs/platform/actions/browser/menuEntryActionViewItem.js 2023-07-24 12:39:54.538701429 +0000
16488
16488
  @@ -283,6 +283,9 @@
16489
16489
  __param(4, IThemeService)
16490
16490
  ], SubmenuEntryActionViewItem);
@@ -16496,8 +16496,8 @@ diff -urN -x '*.map' a/vs/platform/actions/browser/menuEntryActionViewItem.js b/
16496
16496
  var _a, _b, _c;
16497
16497
  super(null, submenuAction);
16498
16498
  diff -urN -x '*.map' a/vs/platform/actions/browser/toolbar.js b/vs/platform/actions/browser/toolbar.js
16499
- --- a/vs/platform/actions/browser/toolbar.js 2023-07-13 09:45:30.144864827 +0000
16500
- +++ b/vs/platform/actions/browser/toolbar.js 2023-07-13 09:47:10.104946109 +0000
16499
+ --- a/vs/platform/actions/browser/toolbar.js 2023-07-24 12:38:15.027683399 +0000
16500
+ +++ b/vs/platform/actions/browser/toolbar.js 2023-07-24 12:39:54.538701429 +0000
16501
16501
  @@ -15,8 +15,11 @@
16502
16502
  import { ToolBar } from '../../../base/browser/ui/toolbar/toolbar.js';
16503
16503
  import { Separator, toAction } from '../../../base/common/actions.js';
@@ -16554,8 +16554,8 @@ diff -urN -x '*.map' a/vs/platform/actions/browser/toolbar.js b/vs/platform/acti
16554
16554
  + __param(7, ITelemetryService)
16555
16555
  +], MenuWorkbenchToolBar);
16556
16556
  diff -urN -x '*.map' a/vs/platform/actions/common/actions.js b/vs/platform/actions/common/actions.js
16557
- --- a/vs/platform/actions/common/actions.js 2023-07-13 09:45:30.144864827 +0000
16558
- +++ b/vs/platform/actions/common/actions.js 2023-07-13 09:47:10.104946109 +0000
16557
+ --- a/vs/platform/actions/common/actions.js 2023-07-24 12:38:15.027683399 +0000
16558
+ +++ b/vs/platform/actions/common/actions.js 2023-07-24 12:39:54.538701429 +0000
16559
16559
  @@ -39,6 +39,13 @@
16560
16560
  }
16561
16561
  export class MenuId {
@@ -16571,8 +16571,8 @@ diff -urN -x '*.map' a/vs/platform/actions/common/actions.js b/vs/platform/actio
16571
16571
  * with the identifier already exists, use `MenuId.for(ident)` or a unique
16572
16572
  * identifier
16573
16573
  diff -urN -x '*.map' a/vs/platform/audioCues/browser/audioCueService.js b/vs/platform/audioCues/browser/audioCueService.js
16574
- --- a/vs/platform/audioCues/browser/audioCueService.js 2023-07-13 09:45:30.156864820 +0000
16575
- +++ b/vs/platform/audioCues/browser/audioCueService.js 2023-07-13 09:47:10.108946110 +0000
16574
+ --- a/vs/platform/audioCues/browser/audioCueService.js 2023-07-24 12:38:15.031683356 +0000
16575
+ +++ b/vs/platform/audioCues/browser/audioCueService.js 2023-07-24 12:39:54.538701429 +0000
16576
16576
  @@ -1,6 +1,154 @@
16577
16577
  +/*---------------------------------------------------------------------------------------------
16578
16578
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -16739,8 +16739,8 @@ diff -urN -x '*.map' a/vs/platform/audioCues/browser/audioCueService.js b/vs/pla
16739
16739
  this.sound = sound;
16740
16740
  this.name = name;
16741
16741
  diff -urN -x '*.map' a/vs/platform/clipboard/browser/clipboardService.js b/vs/platform/clipboard/browser/clipboardService.js
16742
- --- a/vs/platform/clipboard/browser/clipboardService.js 2023-07-13 09:45:30.156864820 +0000
16743
- +++ b/vs/platform/clipboard/browser/clipboardService.js 2023-07-13 09:47:10.108946110 +0000
16742
+ --- a/vs/platform/clipboard/browser/clipboardService.js 2023-07-24 12:38:15.031683356 +0000
16743
+ +++ b/vs/platform/clipboard/browser/clipboardService.js 2023-07-24 12:39:54.538701429 +0000
16744
16744
  @@ -33,7 +33,7 @@
16745
16745
  this.logService = logService;
16746
16746
  this.mapTextToType = new Map(); // unsupported in web (only in-memory)
@@ -16773,8 +16773,8 @@ diff -urN -x '*.map' a/vs/platform/clipboard/browser/clipboardService.js b/vs/pl
16773
16773
  BrowserClipboardService = __decorate([
16774
16774
  __param(0, ILayoutService),
16775
16775
  diff -urN -x '*.map' a/vs/platform/configuration/common/configuration.js b/vs/platform/configuration/common/configuration.js
16776
- --- a/vs/platform/configuration/common/configuration.js 2023-07-13 09:45:30.156864820 +0000
16777
- +++ b/vs/platform/configuration/common/configuration.js 2023-07-13 09:47:10.104946109 +0000
16776
+ --- a/vs/platform/configuration/common/configuration.js 2023-07-24 12:38:15.035683312 +0000
16777
+ +++ b/vs/platform/configuration/common/configuration.js 2023-07-24 12:39:54.538701429 +0000
16778
16778
  @@ -2,8 +2,35 @@
16779
16779
  * Copyright (c) Microsoft Corporation. All rights reserved.
16780
16780
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -16836,8 +16836,8 @@ diff -urN -x '*.map' a/vs/platform/configuration/common/configuration.js b/vs/pl
16836
16836
  return settingKey.replace(/[\[\]]/g, '');
16837
16837
  }
16838
16838
  diff -urN -x '*.map' a/vs/platform/configuration/common/configurationModels.js b/vs/platform/configuration/common/configurationModels.js
16839
- --- a/vs/platform/configuration/common/configurationModels.js 2023-07-13 09:45:30.160864818 +0000
16840
- +++ b/vs/platform/configuration/common/configurationModels.js 2023-07-13 09:47:10.104946109 +0000
16839
+ --- a/vs/platform/configuration/common/configurationModels.js 2023-07-24 12:38:15.035683312 +0000
16840
+ +++ b/vs/platform/configuration/common/configurationModels.js 2023-07-24 12:39:54.538701429 +0000
16841
16841
  @@ -2,8 +2,20 @@
16842
16842
  * Copyright (c) Microsoft Corporation. All rights reserved.
16843
16843
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -17408,8 +17408,8 @@ diff -urN -x '*.map' a/vs/platform/configuration/common/configurationModels.js b
17408
17408
  + return { added, removed, updated };
17409
17409
  +}
17410
17410
  diff -urN -x '*.map' a/vs/platform/configuration/common/configurationRegistry.js b/vs/platform/configuration/common/configurationRegistry.js
17411
- --- a/vs/platform/configuration/common/configurationRegistry.js 2023-07-13 09:45:30.160864818 +0000
17412
- +++ b/vs/platform/configuration/common/configurationRegistry.js 2023-07-13 09:47:10.104946109 +0000
17411
+ --- a/vs/platform/configuration/common/configurationRegistry.js 2023-07-24 12:38:15.035683312 +0000
17412
+ +++ b/vs/platform/configuration/common/configurationRegistry.js 2023-07-24 12:39:54.538701429 +0000
17413
17413
  @@ -9,6 +9,11 @@
17414
17414
  import { getLanguageTagSettingPlainKey } from './configuration.js';
17415
17415
  import { Extensions as JSONExtensions } from '../../jsonschemas/common/jsonContributionRegistry.js';
@@ -17635,8 +17635,8 @@ diff -urN -x '*.map' a/vs/platform/configuration/common/configurationRegistry.js
17635
17635
  + return scopes;
17636
17636
  +}
17637
17637
  diff -urN -x '*.map' a/vs/platform/configuration/common/configurations.js b/vs/platform/configuration/common/configurations.js
17638
- --- a/vs/platform/configuration/common/configurations.js 2023-07-13 09:45:30.160864818 +0000
17639
- +++ b/vs/platform/configuration/common/configurations.js 2023-07-13 09:47:10.104946109 +0000
17638
+ --- a/vs/platform/configuration/common/configurations.js 2023-07-24 12:38:15.035683312 +0000
17639
+ +++ b/vs/platform/configuration/common/configurations.js 2023-07-24 12:39:54.538701429 +0000
17640
17640
  @@ -1,19 +1,60 @@
17641
17641
  +/*---------------------------------------------------------------------------------------------
17642
17642
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -17811,8 +17811,8 @@ diff -urN -x '*.map' a/vs/platform/configuration/common/configurations.js b/vs/p
17811
17811
  + __param(2, ILogService)
17812
17812
  +], PolicyConfiguration);
17813
17813
  diff -urN -x '*.map' a/vs/platform/contextkey/browser/contextKeyService.js b/vs/platform/contextkey/browser/contextKeyService.js
17814
- --- a/vs/platform/contextkey/browser/contextKeyService.js 2023-07-13 09:45:30.160864818 +0000
17815
- +++ b/vs/platform/contextkey/browser/contextKeyService.js 2023-07-13 09:47:10.104946109 +0000
17814
+ --- a/vs/platform/contextkey/browser/contextKeyService.js 2023-07-24 12:38:15.035683312 +0000
17815
+ +++ b/vs/platform/contextkey/browser/contextKeyService.js 2023-07-24 12:39:54.538701429 +0000
17816
17816
  @@ -14,7 +14,7 @@
17817
17817
  import { PauseableEmitter } from '../../../base/common/event.js';
17818
17818
  import { Iterable } from '../../../base/common/iterator.js';
@@ -17967,8 +17967,8 @@ diff -urN -x '*.map' a/vs/platform/contextkey/browser/contextKeyService.js b/vs/
17967
17967
  function findContextAttr(domNode) {
17968
17968
  while (domNode) {
17969
17969
  diff -urN -x '*.map' a/vs/platform/contextkey/common/contextkey.js b/vs/platform/contextkey/common/contextkey.js
17970
- --- a/vs/platform/contextkey/common/contextkey.js 2023-07-13 09:45:30.160864818 +0000
17971
- +++ b/vs/platform/contextkey/common/contextkey.js 2023-07-13 09:47:10.108946110 +0000
17970
+ --- a/vs/platform/contextkey/common/contextkey.js 2023-07-24 12:38:15.035683312 +0000
17971
+ +++ b/vs/platform/contextkey/common/contextkey.js 2023-07-24 12:39:54.538701429 +0000
17972
17972
  @@ -7,6 +7,7 @@
17973
17973
  import { Scanner } from './scanner.js';
17974
17974
  import { createDecorator } from '../../instantiation/common/instantiation.js';
@@ -18226,8 +18226,8 @@ diff -urN -x '*.map' a/vs/platform/contextkey/common/contextkey.js b/vs/platform
18226
18226
  RawContextKey._info = [];
18227
18227
  export const IContextKeyService = createDecorator('contextKeyService');
18228
18228
  diff -urN -x '*.map' a/vs/platform/contextkey/common/scanner.js b/vs/platform/contextkey/common/scanner.js
18229
- --- a/vs/platform/contextkey/common/scanner.js 2023-07-13 09:45:30.160864818 +0000
18230
- +++ b/vs/platform/contextkey/common/scanner.js 2023-07-13 09:47:10.108946110 +0000
18229
+ --- a/vs/platform/contextkey/common/scanner.js 2023-07-24 12:38:15.035683312 +0000
18230
+ +++ b/vs/platform/contextkey/common/scanner.js 2023-07-24 12:39:54.538701429 +0000
18231
18231
  @@ -91,6 +91,9 @@
18232
18232
  throw illegalState(`unhandled token type: ${JSON.stringify(token)}; have you forgotten to add a case?`);
18233
18233
  }
@@ -18239,8 +18239,8 @@ diff -urN -x '*.map' a/vs/platform/contextkey/common/scanner.js b/vs/platform/co
18239
18239
  this._input = value;
18240
18240
  this._start = 0;
18241
18241
  diff -urN -x '*.map' a/vs/platform/contextview/browser/contextMenuService.js b/vs/platform/contextview/browser/contextMenuService.js
18242
- --- a/vs/platform/contextview/browser/contextMenuService.js 2023-07-13 09:45:30.160864818 +0000
18243
- +++ b/vs/platform/contextview/browser/contextMenuService.js 2023-07-13 09:47:10.104946109 +0000
18242
+ --- a/vs/platform/contextview/browser/contextMenuService.js 2023-07-24 12:38:15.035683312 +0000
18243
+ +++ b/vs/platform/contextview/browser/contextMenuService.js 2023-07-24 12:39:54.538701429 +0000
18244
18244
  @@ -40,7 +40,9 @@
18245
18245
  this.contextKeyService = contextKeyService;
18246
18246
  this._contextMenuHandler = undefined;
@@ -18252,8 +18252,8 @@ diff -urN -x '*.map' a/vs/platform/contextview/browser/contextMenuService.js b/v
18252
18252
  configure(options) {
18253
18253
  this.contextMenuHandler.configure(options);
18254
18254
  diff -urN -x '*.map' a/vs/platform/dialogs/common/dialogs.js b/vs/platform/dialogs/common/dialogs.js
18255
- --- a/vs/platform/dialogs/common/dialogs.js 2023-07-13 09:45:30.164864816 +0000
18256
- +++ b/vs/platform/dialogs/common/dialogs.js 2023-07-13 09:47:10.096946106 +0000
18255
+ --- a/vs/platform/dialogs/common/dialogs.js 2023-07-24 12:38:15.039683268 +0000
18256
+ +++ b/vs/platform/dialogs/common/dialogs.js 2023-07-24 12:39:54.534701475 +0000
18257
18257
  @@ -1,2 +1,221 @@
18258
18258
  +/*---------------------------------------------------------------------------------------------
18259
18259
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -18477,8 +18477,8 @@ diff -urN -x '*.map' a/vs/platform/dialogs/common/dialogs.js b/vs/platform/dialo
18477
18477
  + };
18478
18478
  +}
18479
18479
  diff -urN -x '*.map' a/vs/platform/dnd/browser/dnd.js b/vs/platform/dnd/browser/dnd.js
18480
- --- a/vs/platform/dnd/browser/dnd.js 2023-07-13 09:45:30.164864816 +0000
18481
- +++ b/vs/platform/dnd/browser/dnd.js 2023-07-13 09:47:10.096946106 +0000
18480
+ --- a/vs/platform/dnd/browser/dnd.js 2023-07-24 12:38:15.039683268 +0000
18481
+ +++ b/vs/platform/dnd/browser/dnd.js 2023-07-24 12:39:54.534701475 +0000
18482
18482
  @@ -1,10 +1,280 @@
18483
18483
  +/*---------------------------------------------------------------------------------------------
18484
18484
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -18786,8 +18786,8 @@ diff -urN -x '*.map' a/vs/platform/dnd/browser/dnd.js b/vs/platform/dnd/browser/
18786
18786
  LocalSelectionTransfer.INSTANCE = new LocalSelectionTransfer();
18787
18787
  //#endregion
18788
18788
  diff -urN -x '*.map' a/vs/platform/editor/common/editor.js b/vs/platform/editor/common/editor.js
18789
- --- a/vs/platform/editor/common/editor.js 2023-07-13 09:45:30.164864816 +0000
18790
- +++ b/vs/platform/editor/common/editor.js 2023-07-13 09:47:10.104946109 +0000
18789
+ --- a/vs/platform/editor/common/editor.js 2023-07-24 12:38:15.039683268 +0000
18790
+ +++ b/vs/platform/editor/common/editor.js 2023-07-24 12:39:54.538701429 +0000
18791
18791
  @@ -1,3 +1,42 @@
18792
18792
  +/*---------------------------------------------------------------------------------------------
18793
18793
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -18833,7 +18833,7 @@ diff -urN -x '*.map' a/vs/platform/editor/common/editor.js b/vs/platform/editor/
18833
18833
  /**
18834
18834
  diff -urN -x '*.map' a/vs/platform/environment/common/argv.js b/vs/platform/environment/common/argv.js
18835
18835
  --- a/vs/platform/environment/common/argv.js 1970-01-01 00:00:00.000000000 +0000
18836
- +++ b/vs/platform/environment/common/argv.js 2023-07-13 09:47:10.104946109 +0000
18836
+ +++ b/vs/platform/environment/common/argv.js 2023-07-24 12:39:54.538701429 +0000
18837
18837
  @@ -0,0 +1,5 @@
18838
18838
  +/*---------------------------------------------------------------------------------------------
18839
18839
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -18841,8 +18841,8 @@ diff -urN -x '*.map' a/vs/platform/environment/common/argv.js b/vs/platform/envi
18841
18841
  + *--------------------------------------------------------------------------------------------*/
18842
18842
  +export {};
18843
18843
  diff -urN -x '*.map' a/vs/platform/environment/common/environment.js b/vs/platform/environment/common/environment.js
18844
- --- a/vs/platform/environment/common/environment.js 2023-07-13 09:45:30.164864816 +0000
18845
- +++ b/vs/platform/environment/common/environment.js 2023-07-13 09:47:10.104946109 +0000
18844
+ --- a/vs/platform/environment/common/environment.js 2023-07-24 12:38:15.039683268 +0000
18845
+ +++ b/vs/platform/environment/common/environment.js 2023-07-24 12:39:54.538701429 +0000
18846
18846
  @@ -1,2 +1,7 @@
18847
18847
  -import { createDecorator } from '../../instantiation/common/instantiation.js';
18848
18848
  +/*---------------------------------------------------------------------------------------------
@@ -18853,8 +18853,8 @@ diff -urN -x '*.map' a/vs/platform/environment/common/environment.js b/vs/platfo
18853
18853
  export const IEnvironmentService = createDecorator('environmentService');
18854
18854
  +export const INativeEnvironmentService = refineServiceDecorator(IEnvironmentService);
18855
18855
  diff -urN -x '*.map' a/vs/platform/extensions/common/extensions.js b/vs/platform/extensions/common/extensions.js
18856
- --- a/vs/platform/extensions/common/extensions.js 2023-07-13 09:45:30.164864816 +0000
18857
- +++ b/vs/platform/extensions/common/extensions.js 2023-07-13 09:47:10.108946110 +0000
18856
+ --- a/vs/platform/extensions/common/extensions.js 2023-07-24 12:38:15.039683268 +0000
18857
+ +++ b/vs/platform/extensions/common/extensions.js 2023-07-24 12:39:54.538701429 +0000
18858
18858
  @@ -1,3 +1,42 @@
18859
18859
  +/*---------------------------------------------------------------------------------------------
18860
18860
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -18992,7 +18992,7 @@ diff -urN -x '*.map' a/vs/platform/extensions/common/extensions.js b/vs/platform
18992
18992
  +export const IBuiltinExtensionsScannerService = createDecorator('IBuiltinExtensionsScannerService');
18993
18993
  diff -urN -x '*.map' a/vs/platform/files/browser/htmlFileSystemProvider.js b/vs/platform/files/browser/htmlFileSystemProvider.js
18994
18994
  --- a/vs/platform/files/browser/htmlFileSystemProvider.js 1970-01-01 00:00:00.000000000 +0000
18995
- +++ b/vs/platform/files/browser/htmlFileSystemProvider.js 2023-07-13 09:47:10.100946107 +0000
18995
+ +++ b/vs/platform/files/browser/htmlFileSystemProvider.js 2023-07-24 12:39:54.534701475 +0000
18996
18996
  @@ -0,0 +1,433 @@
18997
18997
  +/*---------------------------------------------------------------------------------------------
18998
18998
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -19429,7 +19429,7 @@ diff -urN -x '*.map' a/vs/platform/files/browser/htmlFileSystemProvider.js b/vs/
19429
19429
  +}
19430
19430
  diff -urN -x '*.map' a/vs/platform/files/browser/webFileSystemAccess.js b/vs/platform/files/browser/webFileSystemAccess.js
19431
19431
  --- a/vs/platform/files/browser/webFileSystemAccess.js 1970-01-01 00:00:00.000000000 +0000
19432
- +++ b/vs/platform/files/browser/webFileSystemAccess.js 2023-07-13 09:47:10.100946107 +0000
19432
+ +++ b/vs/platform/files/browser/webFileSystemAccess.js 2023-07-24 12:39:54.534701475 +0000
19433
19433
  @@ -0,0 +1,35 @@
19434
19434
  +/*---------------------------------------------------------------------------------------------
19435
19435
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -19467,8 +19467,8 @@ diff -urN -x '*.map' a/vs/platform/files/browser/webFileSystemAccess.js b/vs/pla
19467
19467
  + WebFileSystemAccess.isFileSystemDirectoryHandle = isFileSystemDirectoryHandle;
19468
19468
  +})(WebFileSystemAccess || (WebFileSystemAccess = {}));
19469
19469
  diff -urN -x '*.map' a/vs/platform/files/common/files.js b/vs/platform/files/common/files.js
19470
- --- a/vs/platform/files/common/files.js 2023-07-13 09:45:30.168864814 +0000
19471
- +++ b/vs/platform/files/common/files.js 2023-07-13 09:47:10.100946107 +0000
19470
+ --- a/vs/platform/files/common/files.js 2023-07-24 12:38:15.039683268 +0000
19471
+ +++ b/vs/platform/files/common/files.js 2023-07-24 12:39:54.534701475 +0000
19472
19472
  @@ -1,3 +1,383 @@
19473
19473
  +/*---------------------------------------------------------------------------------------------
19474
19474
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -19932,8 +19932,8 @@ diff -urN -x '*.map' a/vs/platform/files/common/files.js b/vs/platform/files/com
19932
19932
  +}
19933
19933
  //#endregion
19934
19934
  diff -urN -x '*.map' a/vs/platform/history/browser/contextScopedHistoryWidget.js b/vs/platform/history/browser/contextScopedHistoryWidget.js
19935
- --- a/vs/platform/history/browser/contextScopedHistoryWidget.js 2023-07-13 09:45:30.164864816 +0000
19936
- +++ b/vs/platform/history/browser/contextScopedHistoryWidget.js 2023-07-13 09:47:10.104946109 +0000
19935
+ --- a/vs/platform/history/browser/contextScopedHistoryWidget.js 2023-07-24 12:38:15.039683268 +0000
19936
+ +++ b/vs/platform/history/browser/contextScopedHistoryWidget.js 2023-07-24 12:39:54.538701429 +0000
19937
19937
  @@ -13,6 +13,7 @@
19938
19938
  };
19939
19939
  import { FindInput } from '../../../base/browser/ui/findinput/findInput.js';
@@ -19960,8 +19960,8 @@ diff -urN -x '*.map' a/vs/platform/history/browser/contextScopedHistoryWidget.js
19960
19960
  constructor(container, contextViewProvider, options, contextKeyService) {
19961
19961
  super(container, contextViewProvider, options);
19962
19962
  diff -urN -x '*.map' a/vs/platform/instantiation/common/graph.js b/vs/platform/instantiation/common/graph.js
19963
- --- a/vs/platform/instantiation/common/graph.js 2023-07-13 09:45:30.164864816 +0000
19964
- +++ b/vs/platform/instantiation/common/graph.js 2023-07-13 09:47:10.108946110 +0000
19963
+ --- a/vs/platform/instantiation/common/graph.js 2023-07-24 12:38:15.039683268 +0000
19964
+ +++ b/vs/platform/instantiation/common/graph.js 2023-07-24 12:39:54.542701383 +0000
19965
19965
  @@ -48,6 +48,9 @@
19966
19966
  }
19967
19967
  return node;
@@ -19973,8 +19973,8 @@ diff -urN -x '*.map' a/vs/platform/instantiation/common/graph.js b/vs/platform/i
19973
19973
  return this._nodes.size === 0;
19974
19974
  }
19975
19975
  diff -urN -x '*.map' a/vs/platform/instantiation/common/instantiation.js b/vs/platform/instantiation/common/instantiation.js
19976
- --- a/vs/platform/instantiation/common/instantiation.js 2023-07-13 09:45:30.164864816 +0000
19977
- +++ b/vs/platform/instantiation/common/instantiation.js 2023-07-13 09:47:10.108946110 +0000
19976
+ --- a/vs/platform/instantiation/common/instantiation.js 2023-07-24 12:38:15.039683268 +0000
19977
+ +++ b/vs/platform/instantiation/common/instantiation.js 2023-07-24 12:39:54.542701383 +0000
19978
19978
  @@ -40,3 +40,6 @@
19979
19979
  _util.serviceIds.set(serviceId, id);
19980
19980
  return id;
@@ -19983,8 +19983,8 @@ diff -urN -x '*.map' a/vs/platform/instantiation/common/instantiation.js b/vs/pl
19983
19983
  + return serviceIdentifier;
19984
19984
  +}
19985
19985
  diff -urN -x '*.map' a/vs/platform/instantiation/common/serviceCollection.js b/vs/platform/instantiation/common/serviceCollection.js
19986
- --- a/vs/platform/instantiation/common/serviceCollection.js 2023-07-13 09:45:30.164864816 +0000
19987
- +++ b/vs/platform/instantiation/common/serviceCollection.js 2023-07-13 09:47:10.108946110 +0000
19986
+ --- a/vs/platform/instantiation/common/serviceCollection.js 2023-07-24 12:38:15.039683268 +0000
19987
+ +++ b/vs/platform/instantiation/common/serviceCollection.js 2023-07-24 12:39:54.542701383 +0000
19988
19988
  @@ -14,6 +14,9 @@
19989
19989
  this._entries.set(id, instanceOrDescriptor);
19990
19990
  return result;
@@ -19996,8 +19996,8 @@ diff -urN -x '*.map' a/vs/platform/instantiation/common/serviceCollection.js b/v
19996
19996
  return this._entries.get(id);
19997
19997
  }
19998
19998
  diff -urN -x '*.map' a/vs/platform/jsonschemas/common/jsonContributionRegistry.js b/vs/platform/jsonschemas/common/jsonContributionRegistry.js
19999
- --- a/vs/platform/jsonschemas/common/jsonContributionRegistry.js 2023-07-13 09:45:30.168864814 +0000
20000
- +++ b/vs/platform/jsonschemas/common/jsonContributionRegistry.js 2023-07-13 09:47:10.100946107 +0000
19999
+ --- a/vs/platform/jsonschemas/common/jsonContributionRegistry.js 2023-07-24 12:38:15.039683268 +0000
20000
+ +++ b/vs/platform/jsonschemas/common/jsonContributionRegistry.js 2023-07-24 12:39:54.534701475 +0000
20001
20001
  @@ -16,6 +16,7 @@
20002
20002
  class JSONContributionRegistry {
20003
20003
  constructor() {
@@ -20019,8 +20019,8 @@ diff -urN -x '*.map' a/vs/platform/jsonschemas/common/jsonContributionRegistry.j
20019
20019
  const jsonContributionRegistry = new JSONContributionRegistry();
20020
20020
  platform.Registry.add(Extensions.JSONContribution, jsonContributionRegistry);
20021
20021
  diff -urN -x '*.map' a/vs/platform/keybinding/common/abstractKeybindingService.js b/vs/platform/keybinding/common/abstractKeybindingService.js
20022
- --- a/vs/platform/keybinding/common/abstractKeybindingService.js 2023-07-13 09:45:30.152864822 +0000
20023
- +++ b/vs/platform/keybinding/common/abstractKeybindingService.js 2023-07-13 09:47:10.104946109 +0000
20022
+ --- a/vs/platform/keybinding/common/abstractKeybindingService.js 2023-07-24 12:38:15.031683356 +0000
20023
+ +++ b/vs/platform/keybinding/common/abstractKeybindingService.js 2023-07-24 12:39:54.538701429 +0000
20024
20024
  @@ -2,6 +2,7 @@
20025
20025
  * Copyright (c) Microsoft Corporation. All rights reserved.
20026
20026
  * Licensed under the MIT License. See License.txt in the project root for license information.
@@ -20078,8 +20078,8 @@ diff -urN -x '*.map' a/vs/platform/keybinding/common/abstractKeybindingService.j
20078
20078
  return this._doDispatch(this.resolveKeyboardEvent(e), target, /*isSingleModiferChord*/ false);
20079
20079
  }
20080
20080
  diff -urN -x '*.map' a/vs/platform/keybinding/common/baseResolvedKeybinding.js b/vs/platform/keybinding/common/baseResolvedKeybinding.js
20081
- --- a/vs/platform/keybinding/common/baseResolvedKeybinding.js 2023-07-13 09:45:30.152864822 +0000
20082
- +++ b/vs/platform/keybinding/common/baseResolvedKeybinding.js 2023-07-13 09:47:10.104946109 +0000
20081
+ --- a/vs/platform/keybinding/common/baseResolvedKeybinding.js 2023-07-24 12:38:15.031683356 +0000
20082
+ +++ b/vs/platform/keybinding/common/baseResolvedKeybinding.js 2023-07-24 12:39:54.538701429 +0000
20083
20083
  @@ -35,6 +35,9 @@
20084
20084
  getUserSettingsLabel() {
20085
20085
  return UserSettingsLabelProvider.toLabel(this._os, this._chords, (keybinding) => this._getUserSettingsLabel(keybinding));
@@ -20091,8 +20091,8 @@ diff -urN -x '*.map' a/vs/platform/keybinding/common/baseResolvedKeybinding.js b
20091
20091
  return (this._chords.length > 1);
20092
20092
  }
20093
20093
  diff -urN -x '*.map' a/vs/platform/keybinding/common/keybindingResolver.js b/vs/platform/keybinding/common/keybindingResolver.js
20094
- --- a/vs/platform/keybinding/common/keybindingResolver.js 2023-07-13 09:45:30.152864822 +0000
20095
- +++ b/vs/platform/keybinding/common/keybindingResolver.js 2023-07-13 09:47:10.104946109 +0000
20094
+ --- a/vs/platform/keybinding/common/keybindingResolver.js 2023-07-24 12:38:15.031683356 +0000
20095
+ +++ b/vs/platform/keybinding/common/keybindingResolver.js 2023-07-24 12:39:54.538701429 +0000
20096
20096
  @@ -196,9 +196,28 @@
20097
20097
  }
20098
20098
  return implies(a, b);
@@ -20123,8 +20123,8 @@ diff -urN -x '*.map' a/vs/platform/keybinding/common/keybindingResolver.js b/vs/
20123
20123
  const items = this._lookupMap.get(commandId);
20124
20124
  if (typeof items === 'undefined' || items.length === 0) {
20125
20125
  diff -urN -x '*.map' a/vs/platform/keybinding/common/keybindingsRegistry.js b/vs/platform/keybinding/common/keybindingsRegistry.js
20126
- --- a/vs/platform/keybinding/common/keybindingsRegistry.js 2023-07-13 09:45:30.152864822 +0000
20127
- +++ b/vs/platform/keybinding/common/keybindingsRegistry.js 2023-07-13 09:47:10.104946109 +0000
20126
+ --- a/vs/platform/keybinding/common/keybindingsRegistry.js 2023-07-24 12:38:15.031683356 +0000
20127
+ +++ b/vs/platform/keybinding/common/keybindingsRegistry.js 2023-07-24 12:39:54.538701429 +0000
20128
20128
  @@ -58,6 +58,26 @@
20129
20129
  }
20130
20130
  return result;
@@ -20153,8 +20153,8 @@ diff -urN -x '*.map' a/vs/platform/keybinding/common/keybindingsRegistry.js b/vs
20153
20153
  return combinedDisposable(this.registerKeybindingRule(desc), CommandsRegistry.registerCommand(desc));
20154
20154
  }
20155
20155
  diff -urN -x '*.map' a/vs/platform/keybinding/common/usLayoutResolvedKeybinding.js b/vs/platform/keybinding/common/usLayoutResolvedKeybinding.js
20156
- --- a/vs/platform/keybinding/common/usLayoutResolvedKeybinding.js 2023-07-13 09:45:30.152864822 +0000
20157
- +++ b/vs/platform/keybinding/common/usLayoutResolvedKeybinding.js 2023-07-13 09:47:10.104946109 +0000
20156
+ --- a/vs/platform/keybinding/common/usLayoutResolvedKeybinding.js 2023-07-24 12:38:15.031683356 +0000
20157
+ +++ b/vs/platform/keybinding/common/usLayoutResolvedKeybinding.js 2023-07-24 12:39:54.538701429 +0000
20158
20158
  @@ -50,6 +50,9 @@
20159
20159
  const result = KeyCodeUtils.toUserSettingsUS(chord.keyCode);
20160
20160
  return (result ? result.toLowerCase() : result);
@@ -20166,8 +20166,8 @@ diff -urN -x '*.map' a/vs/platform/keybinding/common/usLayoutResolvedKeybinding.
20166
20166
  return USLayoutResolvedKeybinding.getDispatchStr(chord);
20167
20167
  }
20168
20168
  diff -urN -x '*.map' a/vs/platform/label/common/label.js b/vs/platform/label/common/label.js
20169
- --- a/vs/platform/label/common/label.js 2023-07-13 09:45:30.168864814 +0000
20170
- +++ b/vs/platform/label/common/label.js 2023-07-13 09:47:10.108946110 +0000
20169
+ --- a/vs/platform/label/common/label.js 2023-07-24 12:38:15.039683268 +0000
20170
+ +++ b/vs/platform/label/common/label.js 2023-07-24 12:39:54.542701383 +0000
20171
20171
  @@ -1,2 +1,6 @@
20172
20172
  +/*---------------------------------------------------------------------------------------------
20173
20173
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -20176,8 +20176,8 @@ diff -urN -x '*.map' a/vs/platform/label/common/label.js b/vs/platform/label/com
20176
20176
  import { createDecorator } from '../../instantiation/common/instantiation.js';
20177
20177
  export const ILabelService = createDecorator('labelService');
20178
20178
  diff -urN -x '*.map' a/vs/platform/list/browser/listService.js b/vs/platform/list/browser/listService.js
20179
- --- a/vs/platform/list/browser/listService.js 2023-07-13 09:45:30.168864814 +0000
20180
- +++ b/vs/platform/list/browser/listService.js 2023-07-13 09:47:10.100946107 +0000
20179
+ --- a/vs/platform/list/browser/listService.js 2023-07-24 12:38:15.043683225 +0000
20180
+ +++ b/vs/platform/list/browser/listService.js 2023-07-24 12:39:54.534701475 +0000
20181
20181
  @@ -153,6 +153,7 @@
20182
20182
  return [result, disposables];
20183
20183
  }
@@ -20306,8 +20306,8 @@ diff -urN -x '*.map' a/vs/platform/list/browser/listService.js b/vs/platform/lis
20306
20306
  if (options.multipleSelectionSupport !== undefined) {
20307
20307
  this.listSupportsMultiSelect.set(!!options.multipleSelectionSupport);
20308
20308
  diff -urN -x '*.map' a/vs/platform/log/common/log.js b/vs/platform/log/common/log.js
20309
- --- a/vs/platform/log/common/log.js 2023-07-13 09:45:30.168864814 +0000
20310
- +++ b/vs/platform/log/common/log.js 2023-07-13 09:47:10.100946107 +0000
20309
+ --- a/vs/platform/log/common/log.js 2023-07-24 12:38:15.043683225 +0000
20310
+ +++ b/vs/platform/log/common/log.js 2023-07-24 12:39:54.534701475 +0000
20311
20311
  @@ -1,8 +1,26 @@
20312
20312
  +/*---------------------------------------------------------------------------------------------
20313
20313
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -20771,8 +20771,8 @@ diff -urN -x '*.map' a/vs/platform/log/common/log.js b/vs/platform/log/common/lo
20771
20771
  // Contexts
20772
20772
  export const CONTEXT_LOG_LEVEL = new RawContextKey('logLevel', LogLevelToString(LogLevel.Info));
20773
20773
  diff -urN -x '*.map' a/vs/platform/log/common/logService.js b/vs/platform/log/common/logService.js
20774
- --- a/vs/platform/log/common/logService.js 2023-07-13 09:45:30.168864814 +0000
20775
- +++ b/vs/platform/log/common/logService.js 2023-07-13 09:47:10.100946107 +0000
20774
+ --- a/vs/platform/log/common/logService.js 2023-07-24 12:38:15.043683225 +0000
20775
+ +++ b/vs/platform/log/common/logService.js 2023-07-24 12:39:54.534701475 +0000
20776
20776
  @@ -28,7 +28,13 @@
20777
20777
  info(message, ...args) {
20778
20778
  this.logger.info(message, ...args);
@@ -20788,8 +20788,8 @@ diff -urN -x '*.map' a/vs/platform/log/common/logService.js b/vs/platform/log/co
20788
20788
  + }
20789
20789
  }
20790
20790
  diff -urN -x '*.map' a/vs/platform/markers/common/markerService.js b/vs/platform/markers/common/markerService.js
20791
- --- a/vs/platform/markers/common/markerService.js 2023-07-13 09:45:30.168864814 +0000
20792
- +++ b/vs/platform/markers/common/markerService.js 2023-07-13 09:47:10.100946107 +0000
20791
+ --- a/vs/platform/markers/common/markerService.js 2023-07-24 12:38:15.043683225 +0000
20792
+ +++ b/vs/platform/markers/common/markerService.js 2023-07-24 12:39:54.534701475 +0000
20793
20793
  @@ -133,6 +133,9 @@
20794
20794
  this._stats.dispose();
20795
20795
  this._onMarkerChanged.dispose();
@@ -20801,8 +20801,8 @@ diff -urN -x '*.map' a/vs/platform/markers/common/markerService.js b/vs/platform
20801
20801
  for (const resource of resources || []) {
20802
20802
  this.changeOne(owner, resource, []);
20803
20803
  diff -urN -x '*.map' a/vs/platform/notification/common/notification.js b/vs/platform/notification/common/notification.js
20804
- --- a/vs/platform/notification/common/notification.js 2023-07-13 09:45:30.172864812 +0000
20805
- +++ b/vs/platform/notification/common/notification.js 2023-07-13 09:47:10.100946107 +0000
20804
+ --- a/vs/platform/notification/common/notification.js 2023-07-24 12:38:15.043683225 +0000
20805
+ +++ b/vs/platform/notification/common/notification.js 2023-07-24 12:39:54.534701475 +0000
20806
20806
  @@ -1,6 +1,74 @@
20807
20807
  +/*---------------------------------------------------------------------------------------------
20808
20808
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -20879,8 +20879,8 @@ diff -urN -x '*.map' a/vs/platform/notification/common/notification.js b/vs/plat
20879
20879
  + worked(value) { }
20880
20880
  }
20881
20881
  diff -urN -x '*.map' a/vs/platform/opener/browser/link.js b/vs/platform/opener/browser/link.js
20882
- --- a/vs/platform/opener/browser/link.js 2023-07-13 09:45:30.144864827 +0000
20883
- +++ b/vs/platform/opener/browser/link.js 2023-07-13 09:47:10.108946110 +0000
20882
+ --- a/vs/platform/opener/browser/link.js 2023-07-24 12:38:15.023683443 +0000
20883
+ +++ b/vs/platform/opener/browser/link.js 2023-07-24 12:39:54.538701429 +0000
20884
20884
  @@ -11,7 +11,7 @@
20885
20885
  var __param = (this && this.__param) || function (paramIndex, decorator) {
20886
20886
  return function (target, key) { decorator(target, key, paramIndex); }
@@ -20915,8 +20915,8 @@ diff -urN -x '*.map' a/vs/platform/opener/browser/link.js b/vs/platform/opener/b
20915
20915
  var _a;
20916
20916
  super();
20917
20917
  diff -urN -x '*.map' a/vs/platform/opener/common/opener.js b/vs/platform/opener/common/opener.js
20918
- --- a/vs/platform/opener/common/opener.js 2023-07-13 09:45:30.144864827 +0000
20919
- +++ b/vs/platform/opener/common/opener.js 2023-07-13 09:47:10.108946110 +0000
20918
+ --- a/vs/platform/opener/common/opener.js 2023-07-24 12:38:15.027683399 +0000
20919
+ +++ b/vs/platform/opener/common/opener.js 2023-07-24 12:39:54.538701429 +0000
20920
20920
  @@ -18,6 +18,16 @@
20921
20921
  return schemes.some(scheme => matchesScheme(target, scheme));
20922
20922
  }
@@ -20935,8 +20935,8 @@ diff -urN -x '*.map' a/vs/platform/opener/common/opener.js b/vs/platform/opener/
20935
20935
  * file:///some/file.js#L73
20936
20936
  * file:///some/file.js#73,84
20937
20937
  diff -urN -x '*.map' a/vs/platform/policy/common/policy.js b/vs/platform/policy/common/policy.js
20938
- --- a/vs/platform/policy/common/policy.js 2023-07-13 09:45:30.172864812 +0000
20939
- +++ b/vs/platform/policy/common/policy.js 2023-07-13 09:47:10.096946106 +0000
20938
+ --- a/vs/platform/policy/common/policy.js 2023-07-24 12:38:15.043683225 +0000
20939
+ +++ b/vs/platform/policy/common/policy.js 2023-07-24 12:39:54.534701475 +0000
20940
20940
  @@ -1 +1,53 @@
20941
20941
  -export {};
20942
20942
  +/*---------------------------------------------------------------------------------------------
@@ -20994,7 +20994,7 @@ diff -urN -x '*.map' a/vs/platform/policy/common/policy.js b/vs/platform/policy/
20994
20994
  +}
20995
20995
  diff -urN -x '*.map' a/vs/platform/product/common/productService.js b/vs/platform/product/common/productService.js
20996
20996
  --- a/vs/platform/product/common/productService.js 1970-01-01 00:00:00.000000000 +0000
20997
- +++ b/vs/platform/product/common/productService.js 2023-07-13 09:47:10.100946107 +0000
20997
+ +++ b/vs/platform/product/common/productService.js 2023-07-24 12:39:54.534701475 +0000
20998
20998
  @@ -0,0 +1,7 @@
20999
20999
  +/*---------------------------------------------------------------------------------------------
21000
21000
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -21004,8 +21004,8 @@ diff -urN -x '*.map' a/vs/platform/product/common/productService.js b/vs/platfor
21004
21004
  +export const IProductService = createDecorator('productService');
21005
21005
  +export const productSchemaId = 'vscode://schemas/vscode-product';
21006
21006
  diff -urN -x '*.map' a/vs/platform/progress/common/progress.js b/vs/platform/progress/common/progress.js
21007
- --- a/vs/platform/progress/common/progress.js 2023-07-13 09:45:30.172864812 +0000
21008
- +++ b/vs/platform/progress/common/progress.js 2023-07-13 09:47:10.108946110 +0000
21007
+ --- a/vs/platform/progress/common/progress.js 2023-07-24 12:38:15.043683225 +0000
21008
+ +++ b/vs/platform/progress/common/progress.js 2023-07-24 12:39:54.542701383 +0000
21009
21009
  @@ -1,3 +1,19 @@
21010
21010
  +/*---------------------------------------------------------------------------------------------
21011
21011
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -21106,8 +21106,8 @@ diff -urN -x '*.map' a/vs/platform/progress/common/progress.js b/vs/platform/pro
21106
21106
  +}
21107
21107
  export const IEditorProgressService = createDecorator('editorProgressService');
21108
21108
  diff -urN -x '*.map' a/vs/platform/quickinput/browser/commandsQuickAccess.js b/vs/platform/quickinput/browser/commandsQuickAccess.js
21109
- --- a/vs/platform/quickinput/browser/commandsQuickAccess.js 2023-07-13 09:45:30.144864827 +0000
21110
- +++ b/vs/platform/quickinput/browser/commandsQuickAccess.js 2023-07-13 09:47:10.100946107 +0000
21109
+ --- a/vs/platform/quickinput/browser/commandsQuickAccess.js 2023-07-24 12:38:15.027683399 +0000
21110
+ +++ b/vs/platform/quickinput/browser/commandsQuickAccess.js 2023-07-24 12:39:54.534701475 +0000
21111
21111
  @@ -266,6 +266,12 @@
21112
21112
  }
21113
21113
  return CommandsHistory.DEFAULT_COMMANDS_HISTORY_LENGTH;
@@ -21122,8 +21122,8 @@ diff -urN -x '*.map' a/vs/platform/quickinput/browser/commandsQuickAccess.js b/v
21122
21122
  CommandsHistory.DEFAULT_COMMANDS_HISTORY_LENGTH = 50;
21123
21123
  CommandsHistory.PREF_KEY_CACHE = 'commandPalette.mru.cache';
21124
21124
  diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickAccess.js b/vs/platform/quickinput/browser/quickAccess.js
21125
- --- a/vs/platform/quickinput/browser/quickAccess.js 2023-07-13 09:45:30.148864824 +0000
21126
- +++ b/vs/platform/quickinput/browser/quickAccess.js 2023-07-13 09:47:10.100946107 +0000
21125
+ --- a/vs/platform/quickinput/browser/quickAccess.js 2023-07-24 12:38:15.027683399 +0000
21126
+ +++ b/vs/platform/quickinput/browser/quickAccess.js 2023-07-24 12:39:54.534701475 +0000
21127
21127
  @@ -29,6 +29,9 @@
21128
21128
  this.lastAcceptedPickerValues = new Map();
21129
21129
  this.visibleQuickAccess = undefined;
@@ -21135,8 +21135,8 @@ diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickAccess.js b/vs/platfo
21135
21135
  this.doShowOrPick(value, false, options);
21136
21136
  }
21137
21137
  diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickInput.js b/vs/platform/quickinput/browser/quickInput.js
21138
- --- a/vs/platform/quickinput/browser/quickInput.js 2023-07-13 09:45:30.148864824 +0000
21139
- +++ b/vs/platform/quickinput/browser/quickInput.js 2023-07-13 09:47:10.100946107 +0000
21138
+ --- a/vs/platform/quickinput/browser/quickInput.js 2023-07-24 12:38:15.027683399 +0000
21139
+ +++ b/vs/platform/quickinput/browser/quickInput.js 2023-07-24 12:39:54.534701475 +0000
21140
21140
  @@ -23,12 +23,12 @@
21141
21141
  import { TimeoutTimer } from '../../../base/common/async.js';
21142
21142
  import { CancellationToken } from '../../../base/common/cancellation.js';
@@ -21386,8 +21386,8 @@ diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickInput.js b/vs/platfor
21386
21386
  this.dimension = dimension;
21387
21387
  this.titleBarOffset = titleBarOffset;
21388
21388
  diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickInputBox.js b/vs/platform/quickinput/browser/quickInputBox.js
21389
- --- a/vs/platform/quickinput/browser/quickInputBox.js 2023-07-13 09:45:30.148864824 +0000
21390
- +++ b/vs/platform/quickinput/browser/quickInputBox.js 2023-07-13 09:47:10.100946107 +0000
21389
+ --- a/vs/platform/quickinput/browser/quickInputBox.js 2023-07-24 12:38:15.027683399 +0000
21390
+ +++ b/vs/platform/quickinput/browser/quickInputBox.js 2023-07-24 12:39:54.534701475 +0000
21391
21391
  @@ -47,6 +47,9 @@
21392
21392
  isSelectionAtEnd() {
21393
21393
  return this.findInput.inputBox.isSelectionAtEnd();
@@ -21415,8 +21415,8 @@ diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickInputBox.js b/vs/plat
21415
21415
  if (decoration === Severity.Ignore) {
21416
21416
  this.findInput.clearMessage();
21417
21417
  diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickInputList.js b/vs/platform/quickinput/browser/quickInputList.js
21418
- --- a/vs/platform/quickinput/browser/quickInputList.js 2023-07-13 09:45:30.148864824 +0000
21419
- +++ b/vs/platform/quickinput/browser/quickInputList.js 2023-07-13 09:47:10.100946107 +0000
21418
+ --- a/vs/platform/quickinput/browser/quickInputList.js 2023-07-24 12:38:15.027683399 +0000
21419
+ +++ b/vs/platform/quickinput/browser/quickInputList.js 2023-07-24 12:39:54.534701475 +0000
21420
21420
  @@ -487,6 +487,9 @@
21421
21421
  this.list.splice(0, this.list.length, this.elements);
21422
21422
  this._onChangedVisibleCount.fire(this.elements.length);
@@ -21439,8 +21439,8 @@ diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickInputList.js b/vs/pla
21439
21439
  this.list.setSelection(items
21440
21440
  .filter(item => this.elementsToIndexes.has(item))
21441
21441
  diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickInputService.js b/vs/platform/quickinput/browser/quickInputService.js
21442
- --- a/vs/platform/quickinput/browser/quickInputService.js 2023-07-13 09:45:30.148864824 +0000
21443
- +++ b/vs/platform/quickinput/browser/quickInputService.js 2023-07-13 09:47:10.100946107 +0000
21442
+ --- a/vs/platform/quickinput/browser/quickInputService.js 2023-07-24 12:38:15.027683399 +0000
21443
+ +++ b/vs/platform/quickinput/browser/quickInputService.js 2023-07-24 12:39:54.534701475 +0000
21444
21444
  @@ -24,6 +24,7 @@
21445
21445
  import { IThemeService, Themable } from '../../theme/common/themeService.js';
21446
21446
  import { QuickInputController } from './quickInput.js';
@@ -21494,8 +21494,8 @@ diff -urN -x '*.map' a/vs/platform/quickinput/browser/quickInputService.js b/vs/
21494
21494
  if (this.hasController) {
21495
21495
  this.controller.applyStyles(this.computeStyles());
21496
21496
  diff -urN -x '*.map' a/vs/platform/quickinput/common/quickAccess.js b/vs/platform/quickinput/common/quickAccess.js
21497
- --- a/vs/platform/quickinput/common/quickAccess.js 2023-07-13 09:45:30.148864824 +0000
21498
- +++ b/vs/platform/quickinput/common/quickAccess.js 2023-07-13 09:47:10.100946107 +0000
21497
+ --- a/vs/platform/quickinput/common/quickAccess.js 2023-07-24 12:38:15.027683399 +0000
21498
+ +++ b/vs/platform/quickinput/common/quickAccess.js 2023-07-24 12:39:54.534701475 +0000
21499
21499
  @@ -49,5 +49,15 @@
21500
21500
  const result = prefix ? (this.providers.find(provider => prefix.startsWith(provider.prefix)) || undefined) : undefined;
21501
21501
  return result || this.defaultProvider;
@@ -21513,8 +21513,8 @@ diff -urN -x '*.map' a/vs/platform/quickinput/common/quickAccess.js b/vs/platfor
21513
21513
  }
21514
21514
  Registry.add(Extensions.Quickaccess, new QuickAccessRegistry());
21515
21515
  diff -urN -x '*.map' a/vs/platform/quickinput/common/quickInput.js b/vs/platform/quickinput/common/quickInput.js
21516
- --- a/vs/platform/quickinput/common/quickInput.js 2023-07-13 09:45:30.148864824 +0000
21517
- +++ b/vs/platform/quickinput/common/quickInput.js 2023-07-13 09:47:10.100946107 +0000
21516
+ --- a/vs/platform/quickinput/common/quickInput.js 2023-07-24 12:38:15.031683356 +0000
21517
+ +++ b/vs/platform/quickinput/common/quickInput.js 2023-07-24 12:39:54.534701475 +0000
21518
21518
  @@ -3,6 +3,7 @@
21519
21519
  * Licensed under the MIT License. See License.txt in the project root for license information.
21520
21520
  *--------------------------------------------------------------------------------------------*/
@@ -21551,8 +21551,8 @@ diff -urN -x '*.map' a/vs/platform/quickinput/common/quickInput.js b/vs/platform
21551
21551
  export const quickPickItemScorerAccessor = new QuickPickItemScorerAccessor();
21552
21552
  //#endregion
21553
21553
  diff -urN -x '*.map' a/vs/platform/registry/common/platform.js b/vs/platform/registry/common/platform.js
21554
- --- a/vs/platform/registry/common/platform.js 2023-07-13 09:45:30.172864812 +0000
21555
- +++ b/vs/platform/registry/common/platform.js 2023-07-13 09:47:10.108946110 +0000
21554
+ --- a/vs/platform/registry/common/platform.js 2023-07-24 12:38:15.043683225 +0000
21555
+ +++ b/vs/platform/registry/common/platform.js 2023-07-24 12:39:54.542701383 +0000
21556
21556
  @@ -14,6 +14,9 @@
21557
21557
  Assert.ok(!this.data.has(id), 'There is already an extension with this id');
21558
21558
  this.data.set(id, data);
@@ -21565,7 +21565,7 @@ diff -urN -x '*.map' a/vs/platform/registry/common/platform.js b/vs/platform/reg
21565
21565
  }
21566
21566
  diff -urN -x '*.map' a/vs/platform/remote/common/remoteHosts.js b/vs/platform/remote/common/remoteHosts.js
21567
21567
  --- a/vs/platform/remote/common/remoteHosts.js 1970-01-01 00:00:00.000000000 +0000
21568
- +++ b/vs/platform/remote/common/remoteHosts.js 2023-07-13 09:47:10.108946110 +0000
21568
+ +++ b/vs/platform/remote/common/remoteHosts.js 2023-07-24 12:39:54.542701383 +0000
21569
21569
  @@ -0,0 +1,61 @@
21570
21570
  +/*---------------------------------------------------------------------------------------------
21571
21571
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -21629,8 +21629,8 @@ diff -urN -x '*.map' a/vs/platform/remote/common/remoteHosts.js b/vs/platform/re
21629
21629
  + return { host: authority, port: undefined };
21630
21630
  +}
21631
21631
  diff -urN -x '*.map' a/vs/platform/storage/common/storage.js b/vs/platform/storage/common/storage.js
21632
- --- a/vs/platform/storage/common/storage.js 2023-07-13 09:45:30.172864812 +0000
21633
- +++ b/vs/platform/storage/common/storage.js 2023-07-13 09:47:10.108946110 +0000
21632
+ --- a/vs/platform/storage/common/storage.js 2023-07-24 12:38:15.043683225 +0000
21633
+ +++ b/vs/platform/storage/common/storage.js 2023-07-24 12:39:54.538701429 +0000
21634
21634
  @@ -1,8 +1,25 @@
21635
21635
  +/*---------------------------------------------------------------------------------------------
21636
21636
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -21944,8 +21944,8 @@ diff -urN -x '*.map' a/vs/platform/storage/common/storage.js b/vs/platform/stora
21944
21944
  + });
21945
21945
  }
21946
21946
  diff -urN -x '*.map' a/vs/platform/telemetry/common/telemetry.js b/vs/platform/telemetry/common/telemetry.js
21947
- --- a/vs/platform/telemetry/common/telemetry.js 2023-07-13 09:45:30.168864814 +0000
21948
- +++ b/vs/platform/telemetry/common/telemetry.js 2023-07-13 09:47:10.104946109 +0000
21947
+ --- a/vs/platform/telemetry/common/telemetry.js 2023-07-24 12:38:15.039683268 +0000
21948
+ +++ b/vs/platform/telemetry/common/telemetry.js 2023-07-24 12:39:54.538701429 +0000
21949
21949
  @@ -4,3 +4,14 @@
21950
21950
  *--------------------------------------------------------------------------------------------*/
21951
21951
  import { createDecorator } from '../../instantiation/common/instantiation.js';
@@ -21962,8 +21962,8 @@ diff -urN -x '*.map' a/vs/platform/telemetry/common/telemetry.js b/vs/platform/t
21962
21962
  +export const TELEMETRY_CRASH_REPORTER_SETTING_ID = 'telemetry.enableCrashReporter';
21963
21963
  +export const TELEMETRY_OLD_SETTING_ID = 'telemetry.enableTelemetry';
21964
21964
  diff -urN -x '*.map' a/vs/platform/theme/browser/defaultStyles.js b/vs/platform/theme/browser/defaultStyles.js
21965
- --- a/vs/platform/theme/browser/defaultStyles.js 2023-07-13 09:45:30.156864820 +0000
21966
- +++ b/vs/platform/theme/browser/defaultStyles.js 2023-07-13 09:47:10.100946107 +0000
21965
+ --- a/vs/platform/theme/browser/defaultStyles.js 2023-07-24 12:38:15.035683312 +0000
21966
+ +++ b/vs/platform/theme/browser/defaultStyles.js 2023-07-24 12:39:54.534701475 +0000
21967
21967
  @@ -15,6 +15,9 @@
21968
21968
  keybindingLabelBottomBorder: asCssVariable(keybindingLabelBottomBorder),
21969
21969
  keybindingLabelShadow: asCssVariable(widgetShadow)
@@ -22064,8 +22064,8 @@ diff -urN -x '*.map' a/vs/platform/theme/browser/defaultStyles.js b/vs/platform/
22064
22064
  + return overrideStyles(override, defaultMenuStyles);
22065
22065
  +}
22066
22066
  diff -urN -x '*.map' a/vs/platform/theme/common/colorRegistry.js b/vs/platform/theme/common/colorRegistry.js
22067
- --- a/vs/platform/theme/common/colorRegistry.js 2023-07-13 09:45:30.156864820 +0000
22068
- +++ b/vs/platform/theme/common/colorRegistry.js 2023-07-13 09:47:10.104946109 +0000
22067
+ --- a/vs/platform/theme/common/colorRegistry.js 2023-07-24 12:38:15.035683312 +0000
22068
+ +++ b/vs/platform/theme/common/colorRegistry.js 2023-07-24 12:39:54.534701475 +0000
22069
22069
  @@ -49,6 +49,16 @@
22070
22070
  this._onDidChangeSchema.fire();
22071
22071
  return id;
@@ -22114,8 +22114,8 @@ diff -urN -x '*.map' a/vs/platform/theme/common/colorRegistry.js b/vs/platform/t
22114
22114
  return { op: 4 /* ColorTransformType.OneOf */, values: colorValues };
22115
22115
  }
22116
22116
  diff -urN -x '*.map' a/vs/platform/theme/common/iconRegistry.js b/vs/platform/theme/common/iconRegistry.js
22117
- --- a/vs/platform/theme/common/iconRegistry.js 2023-07-13 09:45:30.156864820 +0000
22118
- +++ b/vs/platform/theme/common/iconRegistry.js 2023-07-13 09:47:10.104946109 +0000
22117
+ --- a/vs/platform/theme/common/iconRegistry.js 2023-07-24 12:38:15.035683312 +0000
22118
+ +++ b/vs/platform/theme/common/iconRegistry.js 2023-07-24 12:39:54.534701475 +0000
22119
22119
  @@ -106,6 +106,16 @@
22120
22120
  this._onDidChange.fire();
22121
22121
  return { id };
@@ -22159,8 +22159,8 @@ diff -urN -x '*.map' a/vs/platform/theme/common/iconRegistry.js b/vs/platform/th
22159
22159
  const sorter = (i1, i2) => {
22160
22160
  return i1.id.localeCompare(i2.id);
22161
22161
  diff -urN -x '*.map' a/vs/platform/theme/common/themeService.js b/vs/platform/theme/common/themeService.js
22162
- --- a/vs/platform/theme/common/themeService.js 2023-07-13 09:45:30.156864820 +0000
22163
- +++ b/vs/platform/theme/common/themeService.js 2023-07-13 09:47:10.100946107 +0000
22162
+ --- a/vs/platform/theme/common/themeService.js 2023-07-24 12:38:15.035683312 +0000
22163
+ +++ b/vs/platform/theme/common/themeService.js 2023-07-24 12:39:54.534701475 +0000
22164
22164
  @@ -1,3 +1,8 @@
22165
22165
  +/*---------------------------------------------------------------------------------------------
22166
22166
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -22202,8 +22202,8 @@ diff -urN -x '*.map' a/vs/platform/theme/common/themeService.js b/vs/platform/th
22202
22202
  + }
22203
22203
  }
22204
22204
  diff -urN -x '*.map' a/vs/platform/undoRedo/common/undoRedoService.js b/vs/platform/undoRedo/common/undoRedoService.js
22205
- --- a/vs/platform/undoRedo/common/undoRedoService.js 2023-07-13 09:45:30.172864812 +0000
22206
- +++ b/vs/platform/undoRedo/common/undoRedoService.js 2023-07-13 09:47:10.104946109 +0000
22205
+ --- a/vs/platform/undoRedo/common/undoRedoService.js 2023-07-24 12:38:15.043683225 +0000
22206
+ +++ b/vs/platform/undoRedo/common/undoRedoService.js 2023-07-24 12:39:54.538701429 +0000
22207
22207
  @@ -186,6 +186,24 @@
22208
22208
  this._future = [];
22209
22209
  this.versionId++;
@@ -22266,7 +22266,7 @@ diff -urN -x '*.map' a/vs/platform/undoRedo/common/undoRedoService.js b/vs/platf
22266
22266
  if (this._editStacks.has(strResource)) {
22267
22267
  diff -urN -x '*.map' a/vs/platform/uriIdentity/common/uriIdentity.js b/vs/platform/uriIdentity/common/uriIdentity.js
22268
22268
  --- a/vs/platform/uriIdentity/common/uriIdentity.js 1970-01-01 00:00:00.000000000 +0000
22269
- +++ b/vs/platform/uriIdentity/common/uriIdentity.js 2023-07-13 09:47:10.108946110 +0000
22269
+ +++ b/vs/platform/uriIdentity/common/uriIdentity.js 2023-07-24 12:39:54.542701383 +0000
22270
22270
  @@ -0,0 +1,6 @@
22271
22271
  +/*---------------------------------------------------------------------------------------------
22272
22272
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -22276,7 +22276,7 @@ diff -urN -x '*.map' a/vs/platform/uriIdentity/common/uriIdentity.js b/vs/platfo
22276
22276
  +export const IUriIdentityService = createDecorator('IUriIdentityService');
22277
22277
  diff -urN -x '*.map' a/vs/platform/userDataProfile/common/userDataProfile.js b/vs/platform/userDataProfile/common/userDataProfile.js
22278
22278
  --- a/vs/platform/userDataProfile/common/userDataProfile.js 1970-01-01 00:00:00.000000000 +0000
22279
- +++ b/vs/platform/userDataProfile/common/userDataProfile.js 2023-07-13 09:47:10.104946109 +0000
22279
+ +++ b/vs/platform/userDataProfile/common/userDataProfile.js 2023-07-24 12:39:54.538701429 +0000
22280
22280
  @@ -0,0 +1,512 @@
22281
22281
  +/*---------------------------------------------------------------------------------------------
22282
22282
  + * Copyright (c) Microsoft Corporation. All rights reserved.
@@ -22791,8 +22791,8 @@ diff -urN -x '*.map' a/vs/platform/userDataProfile/common/userDataProfile.js b/v
22791
22791
  + saveStoredProfileAssociations(storedProfileAssociations) { this.storedProfileAssociations = storedProfileAssociations; }
22792
22792
  +}
22793
22793
  diff -urN -x '*.map' a/vs/platform/workspace/common/workspace.js b/vs/platform/workspace/common/workspace.js
22794
- --- a/vs/platform/workspace/common/workspace.js 2023-07-13 09:45:30.172864812 +0000
22795
- +++ b/vs/platform/workspace/common/workspace.js 2023-07-13 09:47:10.100946107 +0000
22794
+ --- a/vs/platform/workspace/common/workspace.js 2023-07-24 12:38:15.043683225 +0000
22795
+ +++ b/vs/platform/workspace/common/workspace.js 2023-07-24 12:39:54.534701475 +0000
22796
22796
  @@ -3,10 +3,12 @@
22797
22797
  * Licensed under the MIT License. See License.txt in the project root for license information.
22798
22798
  *--------------------------------------------------------------------------------------------*/
@@ -22901,8 +22901,8 @@ diff -urN -x '*.map' a/vs/platform/workspace/common/workspace.js b/vs/platform/w
22901
22901
  + return ext === WORKSPACE_SUFFIX;
22902
22902
  +}
22903
22903
  diff -urN -x '*.map' a/vs/platform/workspace/common/workspaceTrust.js b/vs/platform/workspace/common/workspaceTrust.js
22904
- --- a/vs/platform/workspace/common/workspaceTrust.js 2023-07-13 09:45:30.172864812 +0000
22905
- +++ b/vs/platform/workspace/common/workspaceTrust.js 2023-07-13 09:47:10.100946107 +0000
22904
+ --- a/vs/platform/workspace/common/workspaceTrust.js 2023-07-24 12:38:15.043683225 +0000
22905
+ +++ b/vs/platform/workspace/common/workspaceTrust.js 2023-07-24 12:39:54.534701475 +0000
22906
22906
  @@ -2,5 +2,21 @@
22907
22907
  * Copyright (c) Microsoft Corporation. All rights reserved.
22908
22908
  * Licensed under the MIT License. See License.txt in the project root for license information.