@codingame/monaco-vscode-scm-service-override 25.1.2 → 26.0.0

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.
@@ -26,12 +26,12 @@ import { autorun } from '@codingame/monaco-vscode-api/vscode/vs/base/common/obse
26
26
 
27
27
  var QuickDiffDecorator_1;
28
28
  registerCss(dirtydiffDecorator);
29
- const quickDiffDecorationCount = ( new RawContextKey('quickDiffDecorationCount', 0));
29
+ const quickDiffDecorationCount = ( new RawContextKey("quickDiffDecorationCount", 0));
30
30
  let QuickDiffDecorator = QuickDiffDecorator_1 = class QuickDiffDecorator extends Disposable {
31
31
  static createDecoration(className, tooltip, options) {
32
32
  const decorationOptions = {
33
- description: 'dirty-diff-decoration',
34
- isWholeLine: options.isWholeLine,
33
+ description: "dirty-diff-decoration",
34
+ isWholeLine: options.isWholeLine
35
35
  };
36
36
  if (options.gutter) {
37
37
  decorationOptions.linesDecorationsClassName = `dirty-diff-glyph ${className}`;
@@ -57,108 +57,126 @@ let QuickDiffDecorator = QuickDiffDecorator_1 = class QuickDiffDecorator extends
57
57
  this.quickDiffModelRef = quickDiffModelRef;
58
58
  this.configurationService = configurationService;
59
59
  this.quickDiffService = quickDiffService;
60
- const decorations = configurationService.getValue('scm.diffDecorations');
61
- const gutter = decorations === 'all' || decorations === 'gutter';
62
- const overview = decorations === 'all' || decorations === 'overview';
63
- const minimap = decorations === 'all' || decorations === 'minimap';
64
- const diffAdded = ( localize(10442, 'Added lines'));
60
+ const decorations = configurationService.getValue("scm.diffDecorations");
61
+ const gutter = decorations === "all" || decorations === "gutter";
62
+ const overview = decorations === "all" || decorations === "overview";
63
+ const minimap = decorations === "all" || decorations === "minimap";
64
+ const diffAdded = ( localize(10760, "Added lines"));
65
65
  const diffAddedOptions = {
66
66
  gutter,
67
- overview: { active: overview, color: overviewRulerAddedForeground },
68
- minimap: { active: minimap, color: minimapGutterAddedBackground },
67
+ overview: {
68
+ active: overview,
69
+ color: overviewRulerAddedForeground
70
+ },
71
+ minimap: {
72
+ active: minimap,
73
+ color: minimapGutterAddedBackground
74
+ },
69
75
  isWholeLine: true
70
76
  };
71
- this.addedOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-added primary', diffAdded, diffAddedOptions);
72
- this.addedPatternOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-added primary pattern', diffAdded, diffAddedOptions);
73
- this.addedSecondaryOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-added secondary', diffAdded, diffAddedOptions);
74
- this.addedSecondaryPatternOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-added secondary pattern', diffAdded, diffAddedOptions);
75
- const diffModified = ( localize(10443, 'Changed lines'));
77
+ this.addedOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-added primary", diffAdded, diffAddedOptions);
78
+ this.addedPatternOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-added primary pattern", diffAdded, diffAddedOptions);
79
+ this.addedSecondaryOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-added secondary", diffAdded, diffAddedOptions);
80
+ this.addedSecondaryPatternOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-added secondary pattern", diffAdded, diffAddedOptions);
81
+ const diffModified = ( localize(10761, "Changed lines"));
76
82
  const diffModifiedOptions = {
77
83
  gutter,
78
- overview: { active: overview, color: overviewRulerModifiedForeground },
79
- minimap: { active: minimap, color: minimapGutterModifiedBackground },
84
+ overview: {
85
+ active: overview,
86
+ color: overviewRulerModifiedForeground
87
+ },
88
+ minimap: {
89
+ active: minimap,
90
+ color: minimapGutterModifiedBackground
91
+ },
80
92
  isWholeLine: true
81
93
  };
82
- this.modifiedOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-modified primary', diffModified, diffModifiedOptions);
83
- this.modifiedPatternOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-modified primary pattern', diffModified, diffModifiedOptions);
84
- this.modifiedSecondaryOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-modified secondary', diffModified, diffModifiedOptions);
85
- this.modifiedSecondaryPatternOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-modified secondary pattern', diffModified, diffModifiedOptions);
86
- const diffDeleted = ( localize(10444, 'Removed lines'));
94
+ this.modifiedOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-modified primary", diffModified, diffModifiedOptions);
95
+ this.modifiedPatternOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-modified primary pattern", diffModified, diffModifiedOptions);
96
+ this.modifiedSecondaryOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-modified secondary", diffModified, diffModifiedOptions);
97
+ this.modifiedSecondaryPatternOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-modified secondary pattern", diffModified, diffModifiedOptions);
98
+ const diffDeleted = ( localize(10762, "Removed lines"));
87
99
  const diffDeletedOptions = {
88
100
  gutter,
89
- overview: { active: overview, color: overviewRulerDeletedForeground },
90
- minimap: { active: minimap, color: minimapGutterDeletedBackground },
101
+ overview: {
102
+ active: overview,
103
+ color: overviewRulerDeletedForeground
104
+ },
105
+ minimap: {
106
+ active: minimap,
107
+ color: minimapGutterDeletedBackground
108
+ },
91
109
  isWholeLine: false
92
110
  };
93
- this.deletedOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-deleted primary', diffDeleted, diffDeletedOptions);
94
- this.deletedSecondaryOptions = QuickDiffDecorator_1.createDecoration('dirty-diff-deleted secondary', diffDeleted, diffDeletedOptions);
111
+ this.deletedOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-deleted primary", diffDeleted, diffDeletedOptions);
112
+ this.deletedSecondaryOptions = QuickDiffDecorator_1.createDecoration("dirty-diff-deleted secondary", diffDeleted, diffDeletedOptions);
95
113
  this._register(configurationService.onDidChangeConfiguration(e => {
96
- if (e.affectsConfiguration('scm.diffDecorationsGutterPattern')) {
114
+ if (e.affectsConfiguration("scm.diffDecorationsGutterPattern")) {
97
115
  this.onDidChange();
98
116
  }
99
117
  }));
100
- this._register(Event.runAndSubscribe(this.quickDiffModelRef.object.onDidChange, () => this.onDidChange()));
118
+ this._register(
119
+ Event.runAndSubscribe(this.quickDiffModelRef.object.onDidChange, () => this.onDidChange())
120
+ );
101
121
  }
102
122
  onDidChange() {
103
123
  if (!this.codeEditor.hasModel()) {
104
124
  return;
105
125
  }
106
- const pattern = this.configurationService.getValue('scm.diffDecorationsGutterPattern');
107
- const primaryQuickDiff = this.quickDiffModelRef.object.quickDiffs.find(quickDiff => quickDiff.kind === 'primary');
126
+ const pattern = this.configurationService.getValue("scm.diffDecorationsGutterPattern");
127
+ const primaryQuickDiff = this.quickDiffModelRef.object.quickDiffs.find(quickDiff => quickDiff.kind === "primary");
108
128
  const primaryQuickDiffChanges = this.quickDiffModelRef.object.changes.filter(change => change.providerId === primaryQuickDiff?.id);
109
129
  const decorations = [];
110
130
  for (const change of this.quickDiffModelRef.object.changes) {
111
- const quickDiff = this.quickDiffModelRef.object.quickDiffs
112
- .find(quickDiff => quickDiff.id === change.providerId);
131
+ const quickDiff = this.quickDiffModelRef.object.quickDiffs.find(quickDiff => quickDiff.id === change.providerId);
113
132
  if (!quickDiff || !this.quickDiffService.isQuickDiffProviderVisible(quickDiff.id)) {
114
133
  continue;
115
134
  }
116
- if (quickDiff.kind !== 'primary' && ( primaryQuickDiffChanges.some(c => c.change2.modified.intersectsOrTouches(change.change2.modified)))) {
135
+ if (quickDiff.kind !== "primary" && ( primaryQuickDiffChanges.some(c => c.change2.modified.intersectsOrTouches(change.change2.modified)))) {
117
136
  continue;
118
137
  }
119
138
  const changeType = getChangeType(change.change);
120
139
  const startLineNumber = change.change.modifiedStartLineNumber;
121
140
  const endLineNumber = change.change.modifiedEndLineNumber || startLineNumber;
122
141
  switch (changeType) {
123
- case ChangeType.Add:
124
- decorations.push({
125
- range: {
126
- startLineNumber: startLineNumber, startColumn: 1,
127
- endLineNumber: endLineNumber, endColumn: 1
128
- },
129
- options: quickDiff.kind === 'primary' || quickDiff.kind === 'contributed'
130
- ? pattern.added ? this.addedPatternOptions : this.addedOptions
131
- : pattern.added ? this.addedSecondaryPatternOptions : this.addedSecondaryOptions
132
- });
133
- break;
134
- case ChangeType.Delete:
135
- decorations.push({
136
- range: {
137
- startLineNumber: startLineNumber, startColumn: Number.MAX_VALUE,
138
- endLineNumber: startLineNumber, endColumn: Number.MAX_VALUE
139
- },
140
- options: quickDiff.kind === 'primary' || quickDiff.kind === 'contributed'
141
- ? this.deletedOptions
142
- : this.deletedSecondaryOptions
143
- });
144
- break;
145
- case ChangeType.Modify:
146
- decorations.push({
147
- range: {
148
- startLineNumber: startLineNumber, startColumn: 1,
149
- endLineNumber: endLineNumber, endColumn: 1
150
- },
151
- options: quickDiff.kind === 'primary' || quickDiff.kind === 'contributed'
152
- ? pattern.modified ? this.modifiedPatternOptions : this.modifiedOptions
153
- : pattern.modified ? this.modifiedSecondaryPatternOptions : this.modifiedSecondaryOptions
154
- });
155
- break;
142
+ case ChangeType.Add:
143
+ decorations.push({
144
+ range: {
145
+ startLineNumber: startLineNumber,
146
+ startColumn: 1,
147
+ endLineNumber: endLineNumber,
148
+ endColumn: 1
149
+ },
150
+ options: quickDiff.kind === "primary" || quickDiff.kind === "contributed" ? pattern.added ? this.addedPatternOptions : this.addedOptions : pattern.added ? this.addedSecondaryPatternOptions : this.addedSecondaryOptions
151
+ });
152
+ break;
153
+ case ChangeType.Delete:
154
+ decorations.push({
155
+ range: {
156
+ startLineNumber: startLineNumber,
157
+ startColumn: Number.MAX_VALUE,
158
+ endLineNumber: startLineNumber,
159
+ endColumn: Number.MAX_VALUE
160
+ },
161
+ options: quickDiff.kind === "primary" || quickDiff.kind === "contributed" ? this.deletedOptions : this.deletedSecondaryOptions
162
+ });
163
+ break;
164
+ case ChangeType.Modify:
165
+ decorations.push({
166
+ range: {
167
+ startLineNumber: startLineNumber,
168
+ startColumn: 1,
169
+ endLineNumber: endLineNumber,
170
+ endColumn: 1
171
+ },
172
+ options: quickDiff.kind === "primary" || quickDiff.kind === "contributed" ? pattern.modified ? this.modifiedPatternOptions : this.modifiedOptions : pattern.modified ? this.modifiedSecondaryPatternOptions : this.modifiedSecondaryOptions
173
+ });
174
+ break;
156
175
  }
157
176
  }
158
177
  if (!this.decorationsCollection) {
159
178
  this.decorationsCollection = this.codeEditor.createDecorationsCollection(decorations);
160
- }
161
- else {
179
+ } else {
162
180
  this.decorationsCollection.set(decorations);
163
181
  }
164
182
  }
@@ -171,12 +189,16 @@ let QuickDiffDecorator = QuickDiffDecorator_1 = class QuickDiffDecorator extends
171
189
  super.dispose();
172
190
  }
173
191
  };
174
- QuickDiffDecorator = QuickDiffDecorator_1 = ( __decorate([
175
- ( __param(2, IConfigurationService)),
176
- ( __param(3, IQuickDiffService))
177
- ], QuickDiffDecorator));
192
+ QuickDiffDecorator = QuickDiffDecorator_1 = ( __decorate([( __param(2, IConfigurationService)), ( __param(3, IQuickDiffService))], QuickDiffDecorator));
178
193
  let QuickDiffWorkbenchController = class QuickDiffWorkbenchController extends Disposable {
179
- constructor(editorService, configurationService, quickDiffModelService, quickDiffService, uriIdentityService, contextKeyService) {
194
+ constructor(
195
+ editorService,
196
+ configurationService,
197
+ quickDiffModelService,
198
+ quickDiffService,
199
+ uriIdentityService,
200
+ contextKeyService
201
+ ) {
180
202
  super();
181
203
  this.editorService = editorService;
182
204
  this.configurationService = configurationService;
@@ -185,67 +207,99 @@ let QuickDiffWorkbenchController = class QuickDiffWorkbenchController extends Di
185
207
  this.uriIdentityService = uriIdentityService;
186
208
  this.enabled = false;
187
209
  this.decorators = ( new ResourceMap());
188
- this.viewState = { width: 3, visibility: 'always' };
210
+ this.viewState = {
211
+ width: 3,
212
+ visibility: "always"
213
+ };
189
214
  this.transientDisposables = this._register(( new DisposableStore()));
190
215
  this.stylesheet = createStyleSheet(undefined, undefined, this._store);
191
216
  this.quickDiffDecorationCount = quickDiffDecorationCount.bindTo(contextKeyService);
192
- this.activeEditor = observableFromEvent(this, this.editorService.onDidActiveEditorChange, () => this.editorService.activeEditor);
193
- this.quickDiffProviders = observableFromEvent(this, this.quickDiffService.onDidChangeQuickDiffProviders, () => this.quickDiffService.providers);
194
- const onDidChangeConfiguration = Event.filter(configurationService.onDidChangeConfiguration, e => e.affectsConfiguration('scm.diffDecorations'));
217
+ this.activeEditor = observableFromEvent(
218
+ this,
219
+ this.editorService.onDidActiveEditorChange,
220
+ () => this.editorService.activeEditor
221
+ );
222
+ this.quickDiffProviders = observableFromEvent(
223
+ this,
224
+ this.quickDiffService.onDidChangeQuickDiffProviders,
225
+ () => this.quickDiffService.providers
226
+ );
227
+ const onDidChangeConfiguration = Event.filter(
228
+ configurationService.onDidChangeConfiguration,
229
+ e => e.affectsConfiguration("scm.diffDecorations")
230
+ );
195
231
  this._register(onDidChangeConfiguration(this.onDidChangeConfiguration, this));
196
232
  this.onDidChangeConfiguration();
197
- const onDidChangeDiffWidthConfiguration = Event.filter(configurationService.onDidChangeConfiguration, e => e.affectsConfiguration('scm.diffDecorationsGutterWidth'));
198
- this._register(onDidChangeDiffWidthConfiguration(this.onDidChangeDiffWidthConfiguration, this));
233
+ const onDidChangeDiffWidthConfiguration = Event.filter(
234
+ configurationService.onDidChangeConfiguration,
235
+ e => e.affectsConfiguration("scm.diffDecorationsGutterWidth")
236
+ );
237
+ this._register(
238
+ onDidChangeDiffWidthConfiguration(this.onDidChangeDiffWidthConfiguration, this)
239
+ );
199
240
  this.onDidChangeDiffWidthConfiguration();
200
- const onDidChangeDiffVisibilityConfiguration = Event.filter(configurationService.onDidChangeConfiguration, e => e.affectsConfiguration('scm.diffDecorationsGutterVisibility'));
201
- this._register(onDidChangeDiffVisibilityConfiguration(this.onDidChangeDiffVisibilityConfiguration, this));
241
+ const onDidChangeDiffVisibilityConfiguration = Event.filter(
242
+ configurationService.onDidChangeConfiguration,
243
+ e => e.affectsConfiguration("scm.diffDecorationsGutterVisibility")
244
+ );
245
+ this._register(
246
+ onDidChangeDiffVisibilityConfiguration(this.onDidChangeDiffVisibilityConfiguration, this)
247
+ );
202
248
  this.onDidChangeDiffVisibilityConfiguration();
203
249
  }
204
250
  onDidChangeConfiguration() {
205
- const enabled = this.configurationService.getValue('scm.diffDecorations') !== 'none';
251
+ const enabled = this.configurationService.getValue("scm.diffDecorations") !== "none";
206
252
  if (enabled) {
207
253
  this.enable();
208
- }
209
- else {
254
+ } else {
210
255
  this.disable();
211
256
  }
212
257
  }
213
258
  onDidChangeDiffWidthConfiguration() {
214
- let width = this.configurationService.getValue('scm.diffDecorationsGutterWidth');
259
+ let width = this.configurationService.getValue("scm.diffDecorationsGutterWidth");
215
260
  if (isNaN(width) || width <= 0 || width > 5) {
216
261
  width = 3;
217
262
  }
218
- this.setViewState({ ...this.viewState, width });
263
+ this.setViewState({
264
+ ...this.viewState,
265
+ width
266
+ });
219
267
  }
220
268
  onDidChangeDiffVisibilityConfiguration() {
221
- const visibility = this.configurationService.getValue('scm.diffDecorationsGutterVisibility');
222
- this.setViewState({ ...this.viewState, visibility });
269
+ const visibility = this.configurationService.getValue("scm.diffDecorationsGutterVisibility");
270
+ this.setViewState({
271
+ ...this.viewState,
272
+ visibility
273
+ });
223
274
  }
224
275
  setViewState(state) {
225
276
  this.viewState = state;
226
277
  this.stylesheet.textContent = `
227
- .monaco-editor .dirty-diff-added,
228
- .monaco-editor .dirty-diff-modified {
229
- border-left-width:${state.width}px;
230
- }
231
- .monaco-editor .dirty-diff-added.pattern,
232
- .monaco-editor .dirty-diff-added.pattern:before,
233
- .monaco-editor .dirty-diff-modified.pattern,
234
- .monaco-editor .dirty-diff-modified.pattern:before {
235
- background-size: ${state.width}px ${state.width}px;
236
- }
237
- .monaco-editor .dirty-diff-added,
238
- .monaco-editor .dirty-diff-modified,
239
- .monaco-editor .dirty-diff-deleted {
240
- opacity: ${state.visibility === 'always' ? 1 : 0};
241
- }
242
- `;
278
+ .monaco-editor .dirty-diff-added,
279
+ .monaco-editor .dirty-diff-modified {
280
+ border-left-width:${state.width}px;
281
+ }
282
+ .monaco-editor .dirty-diff-added.pattern,
283
+ .monaco-editor .dirty-diff-added.pattern:before,
284
+ .monaco-editor .dirty-diff-modified.pattern,
285
+ .monaco-editor .dirty-diff-modified.pattern:before {
286
+ background-size: ${state.width}px ${state.width}px;
287
+ }
288
+ .monaco-editor .dirty-diff-added,
289
+ .monaco-editor .dirty-diff-modified,
290
+ .monaco-editor .dirty-diff-deleted {
291
+ opacity: ${state.visibility === "always" ? 1 : 0};
292
+ }
293
+ `;
243
294
  }
244
295
  enable() {
245
296
  if (this.enabled) {
246
297
  this.disable();
247
298
  }
248
- this.transientDisposables.add(Event.any(this.editorService.onDidCloseEditor, this.editorService.onDidVisibleEditorsChange)(() => this.onEditorsChanged()));
299
+ this.transientDisposables.add(Event.any(
300
+ this.editorService.onDidCloseEditor,
301
+ this.editorService.onDidVisibleEditorsChange
302
+ )(() => this.onEditorsChanged()));
249
303
  this.onEditorsChanged();
250
304
  this.onDidActiveEditorChange();
251
305
  this.onDidChangeQuickDiffProviders();
@@ -278,7 +332,9 @@ let QuickDiffWorkbenchController = class QuickDiffWorkbenchController extends Di
278
332
  }
279
333
  reader.store.add(quickDiffModelRef);
280
334
  const visibleDecorationCount = observableFromEvent(this, quickDiffModelRef.object.onDidChange, () => {
281
- const visibleQuickDiffs = quickDiffModelRef.object.quickDiffs.filter(quickDiff => this.quickDiffService.isQuickDiffProviderVisible(quickDiff.id));
335
+ const visibleQuickDiffs = quickDiffModelRef.object.quickDiffs.filter(
336
+ quickDiff => this.quickDiffService.isQuickDiffProviderVisible(quickDiff.id)
337
+ );
282
338
  return quickDiffModelRef.object.changes.filter(change => ( visibleQuickDiffs.some(quickDiff => quickDiff.id === change.providerId))).length;
283
339
  });
284
340
  reader.store.add(autorun(reader => {
@@ -297,7 +353,7 @@ let QuickDiffWorkbenchController = class QuickDiffWorkbenchController extends Di
297
353
  continue;
298
354
  }
299
355
  const visible = this.quickDiffService.isQuickDiffProviderVisible(provider.id);
300
- const group = provider.kind !== 'contributed' ? '0_scm' : '1_contributed';
356
+ const group = provider.kind !== "contributed" ? "0_scm" : "1_contributed";
301
357
  const order = index + 1;
302
358
  reader.store.add(registerAction2(class extends Action2 {
303
359
  constructor() {
@@ -306,7 +362,9 @@ let QuickDiffWorkbenchController = class QuickDiffWorkbenchController extends Di
306
362
  title: provider.label,
307
363
  toggled: visible ? ContextKeyTrueExpr.INSTANCE : ContextKeyFalseExpr.INSTANCE,
308
364
  menu: {
309
- id: MenuId.SCMQuickDiffDecorations, group, order
365
+ id: MenuId.SCMQuickDiffDecorations,
366
+ group,
367
+ order
310
368
  },
311
369
  f1: false
312
370
  });
@@ -349,9 +407,9 @@ let QuickDiffWorkbenchController = class QuickDiffWorkbenchController extends Di
349
407
  }
350
408
  for (const [uri, decoratorMap] of this.decorators.entries()) {
351
409
  for (const editorId of ( decoratorMap.keys())) {
352
- const codeEditor = this.editorService.visibleTextEditorControls
353
- .find(editor => isCodeEditor(editor) && editor.getId() === editorId &&
354
- this.uriIdentityService.extUri.isEqual(editor.getModel()?.uri, uri));
410
+ const codeEditor = this.editorService.visibleTextEditorControls.find(
411
+ editor => isCodeEditor(editor) && editor.getId() === editorId && this.uriIdentityService.extUri.isEqual(editor.getModel()?.uri, uri)
412
+ );
355
413
  if (!codeEditor) {
356
414
  decoratorMap.deleteAndDispose(editorId);
357
415
  }
@@ -367,13 +425,6 @@ let QuickDiffWorkbenchController = class QuickDiffWorkbenchController extends Di
367
425
  super.dispose();
368
426
  }
369
427
  };
370
- QuickDiffWorkbenchController = ( __decorate([
371
- ( __param(0, IEditorService)),
372
- ( __param(1, IConfigurationService)),
373
- ( __param(2, IQuickDiffModelService)),
374
- ( __param(3, IQuickDiffService)),
375
- ( __param(4, IUriIdentityService)),
376
- ( __param(5, IContextKeyService))
377
- ], QuickDiffWorkbenchController));
428
+ QuickDiffWorkbenchController = ( __decorate([( __param(0, IEditorService)), ( __param(1, IConfigurationService)), ( __param(2, IQuickDiffModelService)), ( __param(3, IQuickDiffService)), ( __param(4, IUriIdentityService)), ( __param(5, IContextKeyService))], QuickDiffWorkbenchController));
378
429
 
379
430
  export { QuickDiffWorkbenchController, quickDiffDecorationCount };