monaco-editor11 1.1.0 → 1.1.2
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.
- package/dist/index.d.ts +1 -8
- package/dist/monaco-editor11.es.js +1 -49
- package/dist/monaco-editor11.umd.js +1 -1
- package/dist/workers/_.contribution.js +120 -0
- package/dist/workers/abap.contribution.js +8 -0
- package/dist/workers/abap.js +1397 -0
- package/dist/workers/abstractCodeEditorService.js +129 -0
- package/dist/workers/abstractKeybindingService.js +286 -0
- package/dist/workers/abstractScrollbar.js +214 -0
- package/dist/workers/abstractSyntaxTokenBackend.js +128 -0
- package/dist/workers/abstractText.js +89 -0
- package/dist/workers/abstractTree.js +2027 -0
- package/dist/workers/accessibility.js +11 -0
- package/dist/workers/accessibilityService.js +111 -0
- package/dist/workers/accessibilitySignalService.js +331 -0
- package/dist/workers/accessibleDiffViewer.js +588 -0
- package/dist/workers/accessibleViewRegistry.js +25 -0
- package/dist/workers/action.js +15 -0
- package/dist/workers/actionCommonCategories.js +16 -0
- package/dist/workers/actionList.js +344 -0
- package/dist/workers/actionViewItemService.js +29 -0
- package/dist/workers/actionViewItems.js +376 -0
- package/dist/workers/actionWidget.js +236 -0
- package/dist/workers/actionbar.js +462 -0
- package/dist/workers/actions.js +483 -0
- package/dist/workers/anchorSelect.js +160 -0
- package/dist/workers/animation.js +74 -0
- package/dist/workers/apex.contribution.js +9 -0
- package/dist/workers/apex.js +329 -0
- package/dist/workers/aria.js +84 -0
- package/dist/workers/arrays.js +529 -0
- package/dist/workers/arraysFind.js +177 -0
- package/dist/workers/assert.js +79 -0
- package/dist/workers/ast.js +485 -0
- package/dist/workers/async.js +938 -0
- package/dist/workers/asyncDataTree.js +946 -0
- package/dist/workers/autoIndent.js +390 -0
- package/dist/workers/autorun.js +89 -0
- package/dist/workers/autorunImpl.js +215 -0
- package/dist/workers/azcli.contribution.js +8 -0
- package/dist/workers/azcli.js +67 -0
- package/dist/workers/bannerController.js +118 -0
- package/dist/workers/base.js +19 -0
- package/dist/workers/baseColors.js +31 -0
- package/dist/workers/baseObservable.js +106 -0
- package/dist/workers/baseRenderStrategy.js +19 -0
- package/dist/workers/baseResolvedKeybinding.js +56 -0
- package/dist/workers/bat.contribution.js +8 -0
- package/dist/workers/bat.js +99 -0
- package/dist/workers/beforeEditPositionMapper.js +110 -0
- package/dist/workers/bicep.contribution.js +8 -0
- package/dist/workers/bicep.js +108 -0
- package/dist/workers/blockCommentCommand.js +149 -0
- package/dist/workers/blockDecorations.js +97 -0
- package/dist/workers/bracketMatching.js +359 -0
- package/dist/workers/bracketPairsImpl.js +717 -0
- package/dist/workers/bracketPairsTree.js +343 -0
- package/dist/workers/bracketSelections.js +149 -0
- package/dist/workers/brackets.js +108 -0
- package/dist/workers/browser.js +57 -0
- package/dist/workers/buffer.js +81 -0
- package/dist/workers/bufferDirtyTracker.js +45 -0
- package/dist/workers/bulkEditService.js +76 -0
- package/dist/workers/button.js +226 -0
- package/dist/workers/cache.js +61 -0
- package/dist/workers/cameligo.contribution.js +8 -0
- package/dist/workers/cameligo.js +173 -0
- package/dist/workers/canIUse.js +23 -0
- package/dist/workers/cancellation.js +116 -0
- package/dist/workers/caretOperations.js +48 -0
- package/dist/workers/changeRecorder.js +78 -0
- package/dist/workers/changeTracker.js +80 -0
- package/dist/workers/charWidthReader.js +104 -0
- package/dist/workers/characterClassifier.js +59 -0
- package/dist/workers/characterPair.js +40 -0
- package/dist/workers/chartsColors.js +18 -0
- package/dist/workers/clickLinkGesture.js +161 -0
- package/dist/workers/clipboard.js +308 -0
- package/dist/workers/clipboardService.js +9 -0
- package/dist/workers/clipboardUtils.js +85 -0
- package/dist/workers/clojure.contribution.js +8 -0
- package/dist/workers/clojure.js +760 -0
- package/dist/workers/codeAction.js +306 -0
- package/dist/workers/codeActionCommands.js +230 -0
- package/dist/workers/codeActionContributions.js +55 -0
- package/dist/workers/codeActionController.js +372 -0
- package/dist/workers/codeActionKeybindingResolver.js +90 -0
- package/dist/workers/codeActionMenu.js +68 -0
- package/dist/workers/codeActionModel.js +334 -0
- package/dist/workers/codeEditorContributions.js +132 -0
- package/dist/workers/codeEditorService.js +9 -0
- package/dist/workers/codeEditorWidget.js +1856 -0
- package/dist/workers/codeLensCache.js +112 -0
- package/dist/workers/codelens.js +114 -0
- package/dist/workers/codelensController.js +469 -0
- package/dist/workers/codelensWidget.js +265 -0
- package/dist/workers/codicons.js +50 -0
- package/dist/workers/codiconsLibrary.js +642 -0
- package/dist/workers/codiconsUtil.js +22 -0
- package/dist/workers/coffee.contribution.js +9 -0
- package/dist/workers/coffee.js +231 -0
- package/dist/workers/collections.js +98 -0
- package/dist/workers/color.js +94 -0
- package/dist/workers/colorDetector.js +245 -0
- package/dist/workers/colorPickerBody.js +71 -0
- package/dist/workers/colorPickerCloseButton.js +34 -0
- package/dist/workers/colorPickerContribution.js +50 -0
- package/dist/workers/colorPickerHeader.js +79 -0
- package/dist/workers/colorPickerInsertButton.js +27 -0
- package/dist/workers/colorPickerModel.js +74 -0
- package/dist/workers/colorPickerParticipantUtils.js +52 -0
- package/dist/workers/colorPickerSaturationBox.js +106 -0
- package/dist/workers/colorPickerStrip.js +98 -0
- package/dist/workers/colorPickerWidget.js +32 -0
- package/dist/workers/colorUtils.js +199 -0
- package/dist/workers/colorizedBracketPairsDecorationProvider.js +97 -0
- package/dist/workers/colorizer.js +120 -0
- package/dist/workers/colors.js +20 -0
- package/dist/workers/columnRange.js +35 -0
- package/dist/workers/combineTextEditInfos.js +124 -0
- package/dist/workers/commandIds.js +12 -0
- package/dist/workers/commands.js +329 -0
- package/dist/workers/commandsQuickAccess.js +40 -0
- package/dist/workers/comment.js +147 -0
- package/dist/workers/common.js +20 -0
- package/dist/workers/comparers.js +87 -0
- package/dist/workers/completionModel.js +227 -0
- package/dist/workers/compressedObjectTreeModel.js +385 -0
- package/dist/workers/computeGhostText.js +182 -0
- package/dist/workers/computeMovedLines.js +249 -0
- package/dist/workers/concat23Trees.js +192 -0
- package/dist/workers/configuration.js +92 -0
- package/dist/workers/configurationModels.js +614 -0
- package/dist/workers/configurationRegistry.js +400 -0
- package/dist/workers/configurations.js +46 -0
- package/dist/workers/consoleObservableLogger.js +83 -0
- package/dist/workers/constObservable.js +35 -0
- package/dist/workers/contentHoverComputer.js +71 -0
- package/dist/workers/contentHoverController.js +320 -0
- package/dist/workers/contentHoverRendered.js +336 -0
- package/dist/workers/contentHoverStatusBar.js +52 -0
- package/dist/workers/contentHoverTypes.js +29 -0
- package/dist/workers/contentHoverWidget.js +394 -0
- package/dist/workers/contentHoverWidgetWrapper.js +362 -0
- package/dist/workers/contentSegmenter.js +52 -0
- package/dist/workers/contentWidgets.js +495 -0
- package/dist/workers/contextKeyService.js +468 -0
- package/dist/workers/contextMenuHandler.js +126 -0
- package/dist/workers/contextMenuService.js +103 -0
- package/dist/workers/contextScopedHistoryWidget.js +106 -0
- package/dist/workers/contextViewService.js +73 -0
- package/dist/workers/contextkey.js +1551 -0
- package/dist/workers/contextkeys.js +21 -0
- package/dist/workers/contextmenu.js +334 -0
- package/dist/workers/contextview.js +298 -0
- package/dist/workers/contiguousMultilineTokens.js +32 -0
- package/dist/workers/contiguousMultilineTokensBuilder.js +23 -0
- package/dist/workers/contiguousTokensEditing.js +128 -0
- package/dist/workers/contiguousTokensStore.js +207 -0
- package/dist/workers/contribution.js +36 -0
- package/dist/workers/coordinatesConverter.js +51 -0
- package/dist/workers/copyLinesCommand.js +73 -0
- package/dist/workers/copyPasteContribution.js +114 -0
- package/dist/workers/copyPasteController.js +585 -0
- package/dist/workers/copySelection.js +47 -0
- package/dist/workers/coreCommands.js +1731 -0
- package/dist/workers/countBadge.js +52 -0
- package/dist/workers/cpp.contribution.js +14 -0
- package/dist/workers/cpp.js +388 -0
- package/dist/workers/csharp.contribution.js +8 -0
- package/dist/workers/csharp.js +325 -0
- package/dist/workers/csp.contribution.js +8 -0
- package/dist/workers/csp.js +52 -0
- package/dist/workers/css.contribution.js +9 -0
- package/dist/workers/css.js +184 -0
- package/dist/workers/cssMode.js +198 -0
- package/dist/workers/cssValue.js +69 -0
- package/dist/workers/cssWorker.js +183 -0
- package/dist/workers/currentLineHighlight.js +205 -0
- package/dist/workers/cursor.js +899 -0
- package/dist/workers/cursorAtomicMoveOperations.js +145 -0
- package/dist/workers/cursorCollection.js +194 -0
- package/dist/workers/cursorColumnSelection.js +93 -0
- package/dist/workers/cursorColumns.js +112 -0
- package/dist/workers/cursorCommon.js +250 -0
- package/dist/workers/cursorContext.js +15 -0
- package/dist/workers/cursorDeleteOperations.js +231 -0
- package/dist/workers/cursorMoveCommands.js +676 -0
- package/dist/workers/cursorMoveOperations.js +290 -0
- package/dist/workers/cursorTypeEditOperations.js +968 -0
- package/dist/workers/cursorTypeOperations.js +173 -0
- package/dist/workers/cursorUndo.js +133 -0
- package/dist/workers/cursorUtils.js +75 -0
- package/dist/workers/cursorWordOperations.js +720 -0
- package/dist/workers/cypher.contribution.js +8 -0
- package/dist/workers/cypher.js +262 -0
- package/dist/workers/dart.contribution.js +9 -0
- package/dist/workers/dart.js +280 -0
- package/dist/workers/dataChannel.js +12 -0
- package/dist/workers/dataTransfer.js +80 -0
- package/dist/workers/dataTree.js +20 -0
- package/dist/workers/date.js +57 -0
- package/dist/workers/debugLocation.js +66 -0
- package/dist/workers/debugName.js +110 -0
- package/dist/workers/debuggerRpc.js +67 -0
- package/dist/workers/decorationCssRuleExtractor.js +73 -0
- package/dist/workers/decorationStyleCache.js +40 -0
- package/dist/workers/decorations.js +196 -0
- package/dist/workers/decorationsOverviewRuler.js +416 -0
- package/dist/workers/decorators.js +33 -0
- package/dist/workers/defaultDocumentColorProvider.js +55 -0
- package/dist/workers/defaultDocumentColorsComputer.js +138 -0
- package/dist/workers/defaultLinesDiffComputer.js +188 -0
- package/dist/workers/defaultProviders.js +230 -0
- package/dist/workers/defaultStyles.js +194 -0
- package/dist/workers/delegatingEditorImpl.js +111 -0
- package/dist/workers/derived.js +80 -0
- package/dist/workers/derivedImpl.js +353 -0
- package/dist/workers/descriptors.js +13 -0
- package/dist/workers/devToolsLogger.js +442 -0
- package/dist/workers/dialogs.js +5 -0
- package/dist/workers/diff.js +902 -0
- package/dist/workers/diffAlgorithm.js +139 -0
- package/dist/workers/diffChange.js +34 -0
- package/dist/workers/diffEditor.contribution.js +83 -0
- package/dist/workers/diffEditor.js +38 -0
- package/dist/workers/diffEditorDecorations.js +115 -0
- package/dist/workers/diffEditorEditors.js +190 -0
- package/dist/workers/diffEditorItemTemplate.js +272 -0
- package/dist/workers/diffEditorOptions.js +152 -0
- package/dist/workers/diffEditorSash.js +86 -0
- package/dist/workers/diffEditorViewModel.js +608 -0
- package/dist/workers/diffEditorViewZones.js +525 -0
- package/dist/workers/diffEditorWidget.js +590 -0
- package/dist/workers/diffProviderFactoryService.js +142 -0
- package/dist/workers/dnd.js +198 -0
- package/dist/workers/dockerfile.contribution.js +9 -0
- package/dist/workers/dockerfile.js +129 -0
- package/dist/workers/documentSemanticTokens.js +362 -0
- package/dist/workers/documentSymbols.js +24 -0
- package/dist/workers/dom.js +1454 -0
- package/dist/workers/domFontInfo.js +28 -0
- package/dist/workers/domLineBreaksComputer.js +301 -0
- package/dist/workers/domReadingContext.js +43 -0
- package/dist/workers/domSanitize.js +312 -0
- package/dist/workers/domStylesheets.js +145 -0
- package/dist/workers/dompurify.js +1347 -0
- package/dist/workers/dragAndDropCommand.js +65 -0
- package/dist/workers/dragScrolling.js +174 -0
- package/dist/workers/dropIntoEditorContribution.js +41 -0
- package/dist/workers/dropIntoEditorController.js +173 -0
- package/dist/workers/dropdown.js +141 -0
- package/dist/workers/dropdownActionViewItem.js +109 -0
- package/dist/workers/dynamicProgrammingDiffing.js +101 -0
- package/dist/workers/dynamicViewOverlay.js +10 -0
- package/dist/workers/ecl.contribution.js +8 -0
- package/dist/workers/ecl.js +455 -0
- package/dist/workers/edcore.main.js +74 -0
- package/dist/workers/edit.js +83 -0
- package/dist/workers/editContext.js +10 -0
- package/dist/workers/editContextFactory.js +16 -0
- package/dist/workers/editOperation.js +36 -0
- package/dist/workers/editStack.js +363 -0
- package/dist/workers/editor.all.js +65 -0
- package/dist/workers/editor.api.js +2 -0
- package/dist/workers/editor.api2.js +60 -0
- package/dist/workers/editor.js +15 -0
- package/dist/workers/editor.main.js +170 -0
- package/dist/workers/editor.worker.start.js +44 -0
- package/dist/workers/editorAction.js +26 -0
- package/dist/workers/editorBaseApi.js +43 -0
- package/dist/workers/editorBrowser.js +53 -0
- package/dist/workers/editorColorRegistry.js +102 -0
- package/dist/workers/editorColors.js +128 -0
- package/dist/workers/editorCommon.js +13 -0
- package/dist/workers/editorConfiguration.js +292 -0
- package/dist/workers/editorConfigurationSchema.js +338 -0
- package/dist/workers/editorContextKeys.js +84 -0
- package/dist/workers/editorDom.js +299 -0
- package/dist/workers/editorExtensions.js +489 -0
- package/dist/workers/editorFeatures.js +17 -0
- package/dist/workers/editorGutter.js +117 -0
- package/dist/workers/editorMarkdownCodeBlockRenderer.js +85 -0
- package/dist/workers/editorNavigationQuickAccess.js +152 -0
- package/dist/workers/editorOptions.js +3440 -0
- package/dist/workers/editorScrollbar.js +151 -0
- package/dist/workers/editorState.js +115 -0
- package/dist/workers/editorTheme.js +23 -0
- package/dist/workers/editorWebWorker.js +299 -0
- package/dist/workers/editorWorker.js +9 -0
- package/dist/workers/editorWorkerHost.js +15 -0
- package/dist/workers/editorWorkerService.js +366 -0
- package/dist/workers/editorZoom.js +26 -0
- package/dist/workers/electricCharacter.js +55 -0
- package/dist/workers/elementSizeObserver.js +107 -0
- package/dist/workers/elixir.contribution.js +8 -0
- package/dist/workers/elixir.js +568 -0
- package/dist/workers/embeddedCodeEditorWidget.js +66 -0
- package/dist/workers/encodedTokenAttributes.js +79 -0
- package/dist/workers/enterAction.js +53 -0
- package/dist/workers/environment.js +5 -0
- package/dist/workers/eolCounter.js +44 -0
- package/dist/workers/equals.js +84 -0
- package/dist/workers/errorMessage.js +71 -0
- package/dist/workers/errors.js +163 -0
- package/dist/workers/event.js +1197 -0
- package/dist/workers/extensions.js +18 -0
- package/dist/workers/extpath.js +147 -0
- package/dist/workers/fastDomNode.js +255 -0
- package/dist/workers/files.js +19 -0
- package/dist/workers/filters.js +742 -0
- package/dist/workers/findController.js +970 -0
- package/dist/workers/findDecorations.js +311 -0
- package/dist/workers/findInput.js +294 -0
- package/dist/workers/findInputToggles.js +52 -0
- package/dist/workers/findModel.js +497 -0
- package/dist/workers/findOptionsWidget.js +155 -0
- package/dist/workers/findSectionHeaders.js +128 -0
- package/dist/workers/findState.js +244 -0
- package/dist/workers/findWidget.js +1168 -0
- package/dist/workers/findWidgetSearchHistory.js +85 -0
- package/dist/workers/fixBrackets.js +67 -0
- package/dist/workers/fixedArray.js +70 -0
- package/dist/workers/floatingMenu.contribution.js +9 -0
- package/dist/workers/floatingMenu.js +94 -0
- package/dist/workers/flow9.contribution.js +8 -0
- package/dist/workers/flow9.js +141 -0
- package/dist/workers/folding.js +1136 -0
- package/dist/workers/foldingDecorations.js +158 -0
- package/dist/workers/foldingModel.js +532 -0
- package/dist/workers/foldingRanges.js +354 -0
- package/dist/workers/fontInfo.js +172 -0
- package/dist/workers/fontInfoFromSettings.js +29 -0
- package/dist/workers/fontMeasurements.js +206 -0
- package/dist/workers/fontZoom.js +47 -0
- package/dist/workers/fonts.js +17 -0
- package/dist/workers/format.js +367 -0
- package/dist/workers/formatActions.js +263 -0
- package/dist/workers/formattedTextRenderer.js +160 -0
- package/dist/workers/formattingEdit.js +57 -0
- package/dist/workers/forwardingTelemetryService.js +60 -0
- package/dist/workers/freemarker2.contribution.js +52 -0
- package/dist/workers/freemarker2.js +1062 -0
- package/dist/workers/fsharp.contribution.js +8 -0
- package/dist/workers/fsharp.js +216 -0
- package/dist/workers/fullFileRenderStrategy.js +414 -0
- package/dist/workers/fullFileRenderStrategy.wgsl.js +93 -0
- package/dist/workers/functional.js +24 -0
- package/dist/workers/fuzzyScorer.js +143 -0
- package/dist/workers/getHover.js +56 -0
- package/dist/workers/getIconClasses.js +106 -0
- package/dist/workers/getLinks.js +157 -0
- package/dist/workers/getPositionOffsetTransformerFromTextModel.js +24 -0
- package/dist/workers/getSemanticTokens.js +211 -0
- package/dist/workers/ghostText.js +111 -0
- package/dist/workers/ghostTextView.js +449 -0
- package/dist/workers/glob.js +581 -0
- package/dist/workers/globalPointerMoveMonitor.js +83 -0
- package/dist/workers/glyphHoverComputer.js +40 -0
- package/dist/workers/glyphHoverController.js +171 -0
- package/dist/workers/glyphHoverWidget.js +184 -0
- package/dist/workers/glyphLanesModel.js +61 -0
- package/dist/workers/glyphMargin.js +403 -0
- package/dist/workers/glyphRasterizer.js +276 -0
- package/dist/workers/go.contribution.js +8 -0
- package/dist/workers/go.js +217 -0
- package/dist/workers/goToCommands.js +694 -0
- package/dist/workers/goToDefinitionAtPosition.js +267 -0
- package/dist/workers/goToSymbol.js +128 -0
- package/dist/workers/gotoError.js +272 -0
- package/dist/workers/gotoErrorWidget.js +352 -0
- package/dist/workers/gotoLineQuickAccess.js +183 -0
- package/dist/workers/gotoSymbolQuickAccess.js +395 -0
- package/dist/workers/gpuActions.js +126 -0
- package/dist/workers/gpuDisposable.js +48 -0
- package/dist/workers/gpuMark.js +80 -0
- package/dist/workers/gpuUtils.js +58 -0
- package/dist/workers/graph.js +74 -0
- package/dist/workers/graphql.contribution.js +9 -0
- package/dist/workers/graphql.js +150 -0
- package/dist/workers/guidesTextModelPart.js +405 -0
- package/dist/workers/gutterFeature.js +238 -0
- package/dist/workers/gutterIndicatorMenu.js +252 -0
- package/dist/workers/gutterIndicatorView.js +456 -0
- package/dist/workers/handlebars.contribution.js +9 -0
- package/dist/workers/handlebars.js +485 -0
- package/dist/workers/hash.js +256 -0
- package/dist/workers/hcl.contribution.js +8 -0
- package/dist/workers/hcl.js +182 -0
- package/dist/workers/helpQuickAccess.js +77 -0
- package/dist/workers/heuristicSequenceOptimizations.js +374 -0
- package/dist/workers/hiddenRangeModel.js +126 -0
- package/dist/workers/hideUnchangedRegionsFeature.js +433 -0
- package/dist/workers/hierarchicalKind.js +26 -0
- package/dist/workers/highlightDecorations.js +111 -0
- package/dist/workers/highlightedLabel.js +129 -0
- package/dist/workers/history.js +85 -0
- package/dist/workers/historyWidgetKeybindingHint.js +9 -0
- package/dist/workers/horizontalScrollbar.js +91 -0
- package/dist/workers/hotReloadHelpers.js +17 -0
- package/dist/workers/hover.js +11 -0
- package/dist/workers/hoverAccessibleViews.js +8 -0
- package/dist/workers/hoverActionIds.js +23 -0
- package/dist/workers/hoverActions.js +424 -0
- package/dist/workers/hoverColorPicker.js +14 -0
- package/dist/workers/hoverColorPickerContribution.js +44 -0
- package/dist/workers/hoverColorPickerParticipant.js +151 -0
- package/dist/workers/hoverContribution.js +56 -0
- package/dist/workers/hoverCopyButton.js +54 -0
- package/dist/workers/hoverDelegate2.js +39 -0
- package/dist/workers/hoverDelegateFactory.js +34 -0
- package/dist/workers/hoverOperation.js +168 -0
- package/dist/workers/hoverParticipant.js +161 -0
- package/dist/workers/hoverService.js +542 -0
- package/dist/workers/hoverTypes.js +64 -0
- package/dist/workers/hoverUtils.js +18 -0
- package/dist/workers/hoverWidget.js +93 -0
- package/dist/workers/html.contribution.js +9 -0
- package/dist/workers/html.js +374 -0
- package/dist/workers/htmlContent.js +164 -0
- package/dist/workers/htmlMode.js +213 -0
- package/dist/workers/htmlWorker.js +126 -0
- package/dist/workers/iPadShowKeyboard.js +74 -0
- package/dist/workers/iconLabel.js +291 -0
- package/dist/workers/iconLabels.js +33 -0
- package/dist/workers/iconRegistry.js +183 -0
- package/dist/workers/iconsStyleSheet.js +75 -0
- package/dist/workers/idGenerator.js +16 -0
- package/dist/workers/iframe.js +87 -0
- package/dist/workers/ime.js +33 -0
- package/dist/workers/inPlaceReplace.js +151 -0
- package/dist/workers/inPlaceReplaceCommand.js +27 -0
- package/dist/workers/indentGuides.js +254 -0
- package/dist/workers/indentRangeProvider.js +166 -0
- package/dist/workers/indentRules.js +63 -0
- package/dist/workers/indentUtils.js +33 -0
- package/dist/workers/indentation.js +100 -0
- package/dist/workers/indentationGuesser.js +178 -0
- package/dist/workers/indentationLineProcessor.js +193 -0
- package/dist/workers/index.js +21 -0
- package/dist/workers/indexTreeModel.js +538 -0
- package/dist/workers/ini.contribution.js +9 -0
- package/dist/workers/ini.js +70 -0
- package/dist/workers/initialize.js +11 -0
- package/dist/workers/inlayHints.js +147 -0
- package/dist/workers/inlayHintsContribution.js +11 -0
- package/dist/workers/inlayHintsController.js +686 -0
- package/dist/workers/inlayHintsHover.js +162 -0
- package/dist/workers/inlayHintsLocations.js +96 -0
- package/dist/workers/inlineCompletionContextKeys.js +23 -0
- package/dist/workers/inlineCompletions.contribution.js +31 -0
- package/dist/workers/inlineCompletionsAccessibleView.js +4 -0
- package/dist/workers/inlineCompletionsController.js +427 -0
- package/dist/workers/inlineCompletionsHintsWidget.js +356 -0
- package/dist/workers/inlineCompletionsModel.js +1048 -0
- package/dist/workers/inlineCompletionsService.js +170 -0
- package/dist/workers/inlineCompletionsSource.js +548 -0
- package/dist/workers/inlineCompletionsView.js +86 -0
- package/dist/workers/inlineDecorations.js +26 -0
- package/dist/workers/inlineDiffDeletedCodeMargin.js +138 -0
- package/dist/workers/inlineEdit.js +17 -0
- package/dist/workers/inlineEditWithChanges.js +30 -0
- package/dist/workers/inlineEditsCollapsedView.js +132 -0
- package/dist/workers/inlineEditsCustomView.js +256 -0
- package/dist/workers/inlineEditsDeletionView.js +178 -0
- package/dist/workers/inlineEditsInsertionView.js +267 -0
- package/dist/workers/inlineEditsLineReplacementView.js +329 -0
- package/dist/workers/inlineEditsModel.js +59 -0
- package/dist/workers/inlineEditsNewUsers.js +174 -0
- package/dist/workers/inlineEditsSideBySideView.js +517 -0
- package/dist/workers/inlineEditsView.js +561 -0
- package/dist/workers/inlineEditsViewInterface.js +21 -0
- package/dist/workers/inlineEditsViewProducer.js +119 -0
- package/dist/workers/inlineEditsWordReplacementView.js +211 -0
- package/dist/workers/inlineProgress.js +139 -0
- package/dist/workers/inlineSuggestionItem.js +497 -0
- package/dist/workers/inplaceReplaceSupport.js +87 -0
- package/dist/workers/inputBox.js +510 -0
- package/dist/workers/inputColors.js +66 -0
- package/dist/workers/inputMode.js +22 -0
- package/dist/workers/insertFinalNewLine.js +32 -0
- package/dist/workers/insertFinalNewLineCommand.js +39 -0
- package/dist/workers/inspectTokens.js +240 -0
- package/dist/workers/instantiation.js +44 -0
- package/dist/workers/instantiationService.js +403 -0
- package/dist/workers/intervalTree.js +1002 -0
- package/dist/workers/iterator.js +186 -0
- package/dist/workers/java.contribution.js +9 -0
- package/dist/workers/java.js +231 -0
- package/dist/workers/javascript.contribution.js +11 -0
- package/dist/workers/javascript.js +70 -0
- package/dist/workers/jsonContributionRegistry.js +42 -0
- package/dist/workers/jsonMode.js +224 -0
- package/dist/workers/jsonWorker.js +187 -0
- package/dist/workers/julia.contribution.js +8 -0
- package/dist/workers/julia.js +510 -0
- package/dist/workers/keyCodes.js +351 -0
- package/dist/workers/keybinding.js +9 -0
- package/dist/workers/keybindingCancellation.js +81 -0
- package/dist/workers/keybindingLabel.js +122 -0
- package/dist/workers/keybindingLabels.js +139 -0
- package/dist/workers/keybindingResolver.js +304 -0
- package/dist/workers/keybindings.js +104 -0
- package/dist/workers/keybindingsRegistry.js +111 -0
- package/dist/workers/keyboardEvent.js +125 -0
- package/dist/workers/korean.js +321 -0
- package/dist/workers/kotlin.contribution.js +9 -0
- package/dist/workers/kotlin.js +251 -0
- package/dist/workers/label.js +5 -0
- package/dist/workers/labels.js +15 -0
- package/dist/workers/language.js +9 -0
- package/dist/workers/languageBracketsConfiguration.js +133 -0
- package/dist/workers/languageConfiguration.js +138 -0
- package/dist/workers/languageConfigurationRegistry.js +361 -0
- package/dist/workers/languageFeatureDebounce.js +137 -0
- package/dist/workers/languageFeatureRegistry.js +180 -0
- package/dist/workers/languageFeatures.js +9 -0
- package/dist/workers/languageFeaturesService.js +47 -0
- package/dist/workers/languageSelector.js +112 -0
- package/dist/workers/languageService.js +92 -0
- package/dist/workers/languages.js +522 -0
- package/dist/workers/languagesAssociations.js +193 -0
- package/dist/workers/languagesRegistry.js +237 -0
- package/dist/workers/layoutService.js +9 -0
- package/dist/workers/lazy.js +49 -0
- package/dist/workers/lazyObservableValue.js +125 -0
- package/dist/workers/legacyLinesDiffComputer.js +468 -0
- package/dist/workers/length.js +129 -0
- package/dist/workers/less.contribution.js +9 -0
- package/dist/workers/less.js +160 -0
- package/dist/workers/lexon.contribution.js +8 -0
- package/dist/workers/lexon.js +156 -0
- package/dist/workers/lib.index.js +103 -0
- package/dist/workers/lib.js +1107 -0
- package/dist/workers/lifecycle.js +311 -0
- package/dist/workers/lightBulbWidget.js +427 -0
- package/dist/workers/lineCommentCommand.js +328 -0
- package/dist/workers/lineDecorations.js +208 -0
- package/dist/workers/lineEdit.js +75 -0
- package/dist/workers/lineHeights.js +370 -0
- package/dist/workers/lineNumbers.js +184 -0
- package/dist/workers/linePart.js +25 -0
- package/dist/workers/lineRange.js +312 -0
- package/dist/workers/lineSelection.js +36 -0
- package/dist/workers/lineSequence.js +36 -0
- package/dist/workers/lineTokens.js +405 -0
- package/dist/workers/linesDecorations.js +104 -0
- package/dist/workers/linesDiffComputer.js +29 -0
- package/dist/workers/linesDiffComputers.js +13 -0
- package/dist/workers/linesLayout.js +765 -0
- package/dist/workers/linesOperations.js +1187 -0
- package/dist/workers/linesSliceCharSequence.js +205 -0
- package/dist/workers/link.js +95 -0
- package/dist/workers/linkComputer.js +269 -0
- package/dist/workers/linkedEditing.js +381 -0
- package/dist/workers/linkedList.js +126 -0
- package/dist/workers/linkedText.js +48 -0
- package/dist/workers/links.js +376 -0
- package/dist/workers/liquid.contribution.js +9 -0
- package/dist/workers/liquid.js +306 -0
- package/dist/workers/list.js +11 -0
- package/dist/workers/listColors.js +51 -0
- package/dist/workers/listPaging.js +128 -0
- package/dist/workers/listService.js +1025 -0
- package/dist/workers/listView.js +1173 -0
- package/dist/workers/listWidget.js +1535 -0
- package/dist/workers/log.js +271 -0
- package/dist/workers/logService.js +40 -0
- package/dist/workers/logging.js +86 -0
- package/dist/workers/longLinesHelper.js +23 -0
- package/dist/workers/lspLanguageFeatures.js +716 -0
- package/dist/workers/lua.contribution.js +8 -0
- package/dist/workers/lua.js +161 -0
- package/dist/workers/m3.contribution.js +8 -0
- package/dist/workers/m3.js +209 -0
- package/dist/workers/map.js +670 -0
- package/dist/workers/margin.js +71 -0
- package/dist/workers/marginDecorations.js +84 -0
- package/dist/workers/markdown.contribution.js +8 -0
- package/dist/workers/markdown.js +228 -0
- package/dist/workers/markdownHoverParticipant.js +419 -0
- package/dist/workers/markdownRenderer.js +73 -0
- package/dist/workers/marked.js +2478 -0
- package/dist/workers/markerDecorations.js +9 -0
- package/dist/workers/markerDecorationsService.js +248 -0
- package/dist/workers/markerHoverParticipant.js +270 -0
- package/dist/workers/markerNavigationService.js +223 -0
- package/dist/workers/markerService.js +330 -0
- package/dist/workers/markers.js +127 -0
- package/dist/workers/marshalling.js +62 -0
- package/dist/workers/mdx.contribution.js +8 -0
- package/dist/workers/mdx.js +230 -0
- package/dist/workers/menu.js +1147 -0
- package/dist/workers/menuColors.js +19 -0
- package/dist/workers/menuEntryActionViewItem.js +519 -0
- package/dist/workers/menuService.js +436 -0
- package/dist/workers/messageController.js +186 -0
- package/dist/workers/middleScroll.contribution.js +8 -0
- package/dist/workers/middleScrollController.js +128 -0
- package/dist/workers/migrateOptions.js +220 -0
- package/dist/workers/mime.js +11 -0
- package/dist/workers/minimap.js +1662 -0
- package/dist/workers/minimapCharRenderer.js +90 -0
- package/dist/workers/minimapCharRendererFactory.js +136 -0
- package/dist/workers/minimapCharSheet.js +25 -0
- package/dist/workers/minimapColors.js +23 -0
- package/dist/workers/minimapPreBaked.js +52 -0
- package/dist/workers/minimapTokensColorTracker.js +58 -0
- package/dist/workers/mips.contribution.js +9 -0
- package/dist/workers/mips.js +197 -0
- package/dist/workers/mirrorTextModel.js +117 -0
- package/dist/workers/miscColors.js +32 -0
- package/dist/workers/model.js +9 -0
- package/dist/workers/modelLineProjection.js +350 -0
- package/dist/workers/modelLineProjectionData.js +297 -0
- package/dist/workers/modelService.js +413 -0
- package/dist/workers/modesRegistry.js +75 -0
- package/dist/workers/monaco.contribution.js +302 -0
- package/dist/workers/monarchCommon.js +147 -0
- package/dist/workers/monarchCompile.js +546 -0
- package/dist/workers/monarchLexer.js +764 -0
- package/dist/workers/monospaceLineBreaksComputer.js +473 -0
- package/dist/workers/mouseCursor.js +9 -0
- package/dist/workers/mouseEvent.js +153 -0
- package/dist/workers/mouseHandler.js +539 -0
- package/dist/workers/mouseTarget.js +978 -0
- package/dist/workers/moveCaretCommand.js +49 -0
- package/dist/workers/moveLinesCommand.js +394 -0
- package/dist/workers/movedBlocksLinesFeature.js +277 -0
- package/dist/workers/msdax.contribution.js +8 -0
- package/dist/workers/msdax.js +374 -0
- package/dist/workers/multiDiffEditorWidget.js +43 -0
- package/dist/workers/multiDiffEditorWidgetImpl.js +427 -0
- package/dist/workers/multicursor.js +1004 -0
- package/dist/workers/myersDiffAlgorithm.js +159 -0
- package/dist/workers/mysql.contribution.js +8 -0
- package/dist/workers/mysql.js +877 -0
- package/dist/workers/nativeEditContext.js +518 -0
- package/dist/workers/nativeEditContextRegistry.js +23 -0
- package/dist/workers/nativeEditContextUtils.js +85 -0
- package/dist/workers/navigator.js +36 -0
- package/dist/workers/network.js +267 -0
- package/dist/workers/nls.js +76 -0
- package/dist/workers/nls.messages.js +18 -0
- package/dist/workers/nodeReader.js +127 -0
- package/dist/workers/normalization.js +41 -0
- package/dist/workers/notification.js +9 -0
- package/dist/workers/nullTokenize.js +29 -0
- package/dist/workers/numbers.js +45 -0
- package/dist/workers/objectCollectionBuffer.js +102 -0
- package/dist/workers/objectPool.js +47 -0
- package/dist/workers/objectTree.js +204 -0
- package/dist/workers/objectTreeModel.js +220 -0
- package/dist/workers/objective-c.contribution.js +8 -0
- package/dist/workers/objective-c.js +182 -0
- package/dist/workers/objects.js +152 -0
- package/dist/workers/observableCodeEditor.js +373 -0
- package/dist/workers/observableFromEvent.js +123 -0
- package/dist/workers/observableSignal.js +47 -0
- package/dist/workers/observableSignalFromEvent.js +41 -0
- package/dist/workers/observableValue.js +105 -0
- package/dist/workers/observableValueOpts.js +20 -0
- package/dist/workers/offsetRange.js +225 -0
- package/dist/workers/onEnter.js +109 -0
- package/dist/workers/oneCursor.js +117 -0
- package/dist/workers/opener.js +43 -0
- package/dist/workers/openerService.js +222 -0
- package/dist/workers/originalEditorInlineDiffView.js +215 -0
- package/dist/workers/outlineModel.js +265 -0
- package/dist/workers/overlayWidgets.js +181 -0
- package/dist/workers/overviewRuler.js +134 -0
- package/dist/workers/overviewRulerFeature.js +168 -0
- package/dist/workers/overviewZoneManager.js +176 -0
- package/dist/workers/parameterHints.js +126 -0
- package/dist/workers/parameterHintsModel.js +258 -0
- package/dist/workers/parameterHintsWidget.js +318 -0
- package/dist/workers/parser.js +121 -0
- package/dist/workers/pascal.contribution.js +9 -0
- package/dist/workers/pascal.js +250 -0
- package/dist/workers/pascaligo.contribution.js +8 -0
- package/dist/workers/pascaligo.js +163 -0
- package/dist/workers/path.js +1451 -0
- package/dist/workers/peekView.js +246 -0
- package/dist/workers/performance.js +222 -0
- package/dist/workers/perl.contribution.js +8 -0
- package/dist/workers/perl.js +625 -0
- package/dist/workers/pgsql.contribution.js +8 -0
- package/dist/workers/pgsql.js +850 -0
- package/dist/workers/php.contribution.js +9 -0
- package/dist/workers/php.js +499 -0
- package/dist/workers/pickerQuickAccess.js +271 -0
- package/dist/workers/pieceTreeBase.js +1473 -0
- package/dist/workers/pieceTreeTextBuffer.js +461 -0
- package/dist/workers/pieceTreeTextBufferBuilder.js +140 -0
- package/dist/workers/pixelRatio.js +88 -0
- package/dist/workers/pla.contribution.js +7 -0
- package/dist/workers/pla.js +136 -0
- package/dist/workers/placeholderText.contribution.js +14 -0
- package/dist/workers/placeholderTextContribution.js +77 -0
- package/dist/workers/platform.js +32 -0
- package/dist/workers/platformObservableUtils.js +31 -0
- package/dist/workers/point.js +50 -0
- package/dist/workers/pointerHandler.js +132 -0
- package/dist/workers/position.js +142 -0
- package/dist/workers/positionToOffset.js +17 -0
- package/dist/workers/positionToOffsetImpl.js +98 -0
- package/dist/workers/postEditWidget.js +220 -0
- package/dist/workers/postiats.contribution.js +8 -0
- package/dist/workers/postiats.js +906 -0
- package/dist/workers/powerquery.contribution.js +8 -0
- package/dist/workers/powerquery.js +889 -0
- package/dist/workers/powershell.contribution.js +8 -0
- package/dist/workers/powershell.js +238 -0
- package/dist/workers/prefixSumComputer.js +226 -0
- package/dist/workers/process.js +61 -0
- package/dist/workers/product.js +70 -0
- package/dist/workers/productService.js +9 -0
- package/dist/workers/progress.js +16 -0
- package/dist/workers/progressbar.js +105 -0
- package/dist/workers/promise.js +56 -0
- package/dist/workers/protobuf.contribution.js +8 -0
- package/dist/workers/protobuf.js +419 -0
- package/dist/workers/provideInlineCompletions.js +372 -0
- package/dist/workers/provideSignatureHelp.js +59 -0
- package/dist/workers/pug.contribution.js +8 -0
- package/dist/workers/pug.js +401 -0
- package/dist/workers/python.contribution.js +9 -0
- package/dist/workers/python.js +366 -0
- package/dist/workers/qsharp.contribution.js +8 -0
- package/dist/workers/qsharp.js +300 -0
- package/dist/workers/quickAccess.js +56 -0
- package/dist/workers/quickInput.js +108 -0
- package/dist/workers/quickInputActions.js +189 -0
- package/dist/workers/quickInputBox.js +104 -0
- package/dist/workers/quickInputController.js +901 -0
- package/dist/workers/quickInputDelegate.js +19 -0
- package/dist/workers/quickInputList.js +1391 -0
- package/dist/workers/quickInputService.js +197 -0
- package/dist/workers/quickInputTree.js +37 -0
- package/dist/workers/quickInputTreeAccessibilityProvider.js +39 -0
- package/dist/workers/quickInputTreeController.js +181 -0
- package/dist/workers/quickInputTreeFilter.js +42 -0
- package/dist/workers/quickInputTreeRenderer.js +141 -0
- package/dist/workers/quickInputTreeSorter.js +48 -0
- package/dist/workers/quickInputUtils.js +89 -0
- package/dist/workers/quickpickColors.js +21 -0
- package/dist/workers/r.contribution.js +8 -0
- package/dist/workers/r.js +242 -0
- package/dist/workers/range.js +421 -0
- package/dist/workers/rangeMap.js +161 -0
- package/dist/workers/rangeMapping.js +229 -0
- package/dist/workers/rangeSingleLine.js +17 -0
- package/dist/workers/rangeUtil.js +117 -0
- package/dist/workers/razor.contribution.js +9 -0
- package/dist/workers/razor.js +616 -0
- package/dist/workers/rbTreeBase.js +362 -0
- package/dist/workers/rect.js +163 -0
- package/dist/workers/rectangleRenderer.js +214 -0
- package/dist/workers/rectangleRenderer.wgsl.js +68 -0
- package/dist/workers/redis.contribution.js +8 -0
- package/dist/workers/redis.js +301 -0
- package/dist/workers/redshift.contribution.js +8 -0
- package/dist/workers/redshift.js +808 -0
- package/dist/workers/reducer.js +46 -0
- package/dist/workers/referencesController.js +382 -0
- package/dist/workers/referencesModel.js +241 -0
- package/dist/workers/referencesTree.js +200 -0
- package/dist/workers/referencesWidget.js +525 -0
- package/dist/workers/registrations.contribution.js +82 -0
- package/dist/workers/rename.js +458 -0
- package/dist/workers/renameWidget.js +741 -0
- package/dist/workers/renderLines.js +185 -0
- package/dist/workers/renderingContext.js +118 -0
- package/dist/workers/replaceAllCommand.js +54 -0
- package/dist/workers/replaceCommand.js +158 -0
- package/dist/workers/replaceInput.js +176 -0
- package/dist/workers/replacePattern.js +289 -0
- package/dist/workers/replaceWidgetHistory.js +85 -0
- package/dist/workers/resizable.js +150 -0
- package/dist/workers/resizableContentWidget.js +92 -0
- package/dist/workers/resolvedKeybindingItem.js +35 -0
- package/dist/workers/resolverService.js +5 -0
- package/dist/workers/resources.js +231 -0
- package/dist/workers/restructuredtext.contribution.js +8 -0
- package/dist/workers/restructuredtext.js +173 -0
- package/dist/workers/revertButtonsFeature.js +149 -0
- package/dist/workers/rgba.js +35 -0
- package/dist/workers/richEditBrackets.js +356 -0
- package/dist/workers/rowCache.js +110 -0
- package/dist/workers/rpc.js +57 -0
- package/dist/workers/ruby.contribution.js +9 -0
- package/dist/workers/ruby.js +510 -0
- package/dist/workers/rulers.js +82 -0
- package/dist/workers/rulersGpu.js +66 -0
- package/dist/workers/runOnChange.js +61 -0
- package/dist/workers/rust.contribution.js +8 -0
- package/dist/workers/rust.js +342 -0
- package/dist/workers/sash.js +451 -0
- package/dist/workers/sb.contribution.js +8 -0
- package/dist/workers/sb.js +114 -0
- package/dist/workers/scala.contribution.js +9 -0
- package/dist/workers/scala.js +369 -0
- package/dist/workers/scanner.js +287 -0
- package/dist/workers/scheme.contribution.js +8 -0
- package/dist/workers/scheme.js +107 -0
- package/dist/workers/screenReaderContentRich.js +337 -0
- package/dist/workers/screenReaderContentSimple.js +194 -0
- package/dist/workers/screenReaderSupport.js +175 -0
- package/dist/workers/screenReaderUtils.js +111 -0
- package/dist/workers/scrollDecoration.js +70 -0
- package/dist/workers/scrollable.js +323 -0
- package/dist/workers/scrollableElement.js +603 -0
- package/dist/workers/scrollbarArrow.js +78 -0
- package/dist/workers/scrollbarState.js +163 -0
- package/dist/workers/scrollbarVisibilityController.js +93 -0
- package/dist/workers/scss.contribution.js +9 -0
- package/dist/workers/scss.js +259 -0
- package/dist/workers/search.js +52 -0
- package/dist/workers/searchColors.js +13 -0
- package/dist/workers/sectionHeaders.js +179 -0
- package/dist/workers/selectBox.js +47 -0
- package/dist/workers/selectBoxCustom.js +858 -0
- package/dist/workers/selectBoxNative.js +142 -0
- package/dist/workers/selection.js +145 -0
- package/dist/workers/selections.js +338 -0
- package/dist/workers/semanticTokensConfig.js +14 -0
- package/dist/workers/semanticTokensDto.js +82 -0
- package/dist/workers/semanticTokensProviderStyling.js +263 -0
- package/dist/workers/semanticTokensStyling.js +9 -0
- package/dist/workers/semanticTokensStylingService.js +47 -0
- package/dist/workers/serviceCollection.js +22 -0
- package/dist/workers/severity.js +52 -0
- package/dist/workers/severityIcon.js +29 -0
- package/dist/workers/shell.contribution.js +8 -0
- package/dist/workers/shell.js +220 -0
- package/dist/workers/shiftCommand.js +241 -0
- package/dist/workers/singleTextEditHelpers.js +32 -0
- package/dist/workers/smallImmutableSet.js +108 -0
- package/dist/workers/smartSelect.js +281 -0
- package/dist/workers/snippetController2.js +297 -0
- package/dist/workers/snippetParser.js +890 -0
- package/dist/workers/snippetSession.js +650 -0
- package/dist/workers/snippetVariables.js +323 -0
- package/dist/workers/solidity.contribution.js +8 -0
- package/dist/workers/solidity.js +1366 -0
- package/dist/workers/sophia.contribution.js +8 -0
- package/dist/workers/sophia.js +198 -0
- package/dist/workers/sortLinesCommand.js +81 -0
- package/dist/workers/sparql.contribution.js +8 -0
- package/dist/workers/sparql.js +200 -0
- package/dist/workers/sparseMultilineTokens.js +548 -0
- package/dist/workers/sparseTokensStore.js +210 -0
- package/dist/workers/splice.js +14 -0
- package/dist/workers/splitview.js +829 -0
- package/dist/workers/sql.contribution.js +8 -0
- package/dist/workers/sql.js +852 -0
- package/dist/workers/st.contribution.js +8 -0
- package/dist/workers/st.js +415 -0
- package/dist/workers/stableEditorScroll.js +52 -0
- package/dist/workers/standaloneCodeEditor.js +335 -0
- package/dist/workers/standaloneCodeEditorService.js +96 -0
- package/dist/workers/standaloneColorPickerActions.js +81 -0
- package/dist/workers/standaloneColorPickerController.js +62 -0
- package/dist/workers/standaloneColorPickerParticipant.js +117 -0
- package/dist/workers/standaloneColorPickerWidget.js +215 -0
- package/dist/workers/standaloneCommandsQuickAccess.js +82 -0
- package/dist/workers/standaloneEditor.js +519 -0
- package/dist/workers/standaloneEnums.js +1017 -0
- package/dist/workers/standaloneGotoLineQuickAccess.js +67 -0
- package/dist/workers/standaloneGotoSymbolQuickAccess.js +77 -0
- package/dist/workers/standaloneHelpQuickAccess.js +14 -0
- package/dist/workers/standaloneLanguages.js +621 -0
- package/dist/workers/standaloneLayoutService.js +74 -0
- package/dist/workers/standaloneQuickInputService.js +150 -0
- package/dist/workers/standaloneReferenceSearch.js +38 -0
- package/dist/workers/standaloneServices.js +787 -0
- package/dist/workers/standaloneStrings.js +42 -0
- package/dist/workers/standaloneTheme.js +9 -0
- package/dist/workers/standaloneThemeService.js +367 -0
- package/dist/workers/standaloneTreeSitterLibraryService.js +23 -0
- package/dist/workers/standaloneWebWorker.js +55 -0
- package/dist/workers/stickyScrollActions.js +132 -0
- package/dist/workers/stickyScrollContribution.js +16 -0
- package/dist/workers/stickyScrollController.js +566 -0
- package/dist/workers/stickyScrollElement.js +39 -0
- package/dist/workers/stickyScrollModelProvider.js +338 -0
- package/dist/workers/stickyScrollProvider.js +197 -0
- package/dist/workers/stickyScrollWidget.js +474 -0
- package/dist/workers/stopwatch.js +30 -0
- package/dist/workers/storage.js +200 -0
- package/dist/workers/stringBuilder.js +122 -0
- package/dist/workers/stringEdit.js +165 -0
- package/dist/workers/strings.js +834 -0
- package/dist/workers/structuredLogger.js +56 -0
- package/dist/workers/suggest.js +322 -0
- package/dist/workers/suggestAlternatives.js +95 -0
- package/dist/workers/suggestCommitCharacters.js +59 -0
- package/dist/workers/suggestController.js +941 -0
- package/dist/workers/suggestInlineCompletions.js +193 -0
- package/dist/workers/suggestMemory.js +254 -0
- package/dist/workers/suggestModel.js +667 -0
- package/dist/workers/suggestOvertypingCapturer.js +62 -0
- package/dist/workers/suggestWidget.js +890 -0
- package/dist/workers/suggestWidgetAdapter.js +210 -0
- package/dist/workers/suggestWidgetDetails.js +393 -0
- package/dist/workers/suggestWidgetRenderer.js +208 -0
- package/dist/workers/suggestWidgetStatus.js +74 -0
- package/dist/workers/supports.js +58 -0
- package/dist/workers/surroundSelectionCommand.js +44 -0
- package/dist/workers/swift.contribution.js +9 -0
- package/dist/workers/swift.js +311 -0
- package/dist/workers/symbolIcons.js +101 -0
- package/dist/workers/symbolNavigation.js +178 -0
- package/dist/workers/symbols.js +10 -0
- package/dist/workers/syntaxRangeProvider.js +177 -0
- package/dist/workers/systemverilog.contribution.js +14 -0
- package/dist/workers/systemverilog.js +575 -0
- package/dist/workers/tabFocus.js +29 -0
- package/dist/workers/tableWidget.js +181 -0
- package/dist/workers/taskQueue.js +116 -0
- package/dist/workers/tcl.contribution.js +8 -0
- package/dist/workers/tcl.js +231 -0
- package/dist/workers/telemetry.js +9 -0
- package/dist/workers/ternarySearchTree.js +674 -0
- package/dist/workers/textAreaEditContext.js +720 -0
- package/dist/workers/textAreaEditContextInput.js +588 -0
- package/dist/workers/textAreaEditContextState.js +160 -0
- package/dist/workers/textChange.js +248 -0
- package/dist/workers/textEdit.js +269 -0
- package/dist/workers/textLength.js +87 -0
- package/dist/workers/textModel.js +2031 -0
- package/dist/workers/textModelBracketPairs.js +45 -0
- package/dist/workers/textModelDefaults.js +18 -0
- package/dist/workers/textModelEditSource.js +166 -0
- package/dist/workers/textModelEvents.js +216 -0
- package/dist/workers/textModelGuides.js +40 -0
- package/dist/workers/textModelPart.js +23 -0
- package/dist/workers/textModelSearch.js +455 -0
- package/dist/workers/textModelStringEdit.js +11 -0
- package/dist/workers/textModelSync.impl.js +307 -0
- package/dist/workers/textModelText.js +26 -0
- package/dist/workers/textModelTokens.js +436 -0
- package/dist/workers/textResourceConfiguration.js +6 -0
- package/dist/workers/textToHtmlTokenizer.js +139 -0
- package/dist/workers/textualHighlightProvider.js +78 -0
- package/dist/workers/textureAtlas.js +179 -0
- package/dist/workers/textureAtlasPage.js +110 -0
- package/dist/workers/textureAtlasShelfAllocator.js +129 -0
- package/dist/workers/textureAtlasSlabAllocator.js +346 -0
- package/dist/workers/tfIdf.js +179 -0
- package/dist/workers/themables.js +100 -0
- package/dist/workers/theme.js +110 -0
- package/dist/workers/themeService.js +67 -0
- package/dist/workers/themes.js +242 -0
- package/dist/workers/toggle.js +242 -0
- package/dist/workers/toggleHighContrast.js +35 -0
- package/dist/workers/toggleTabFocusMode.js +42 -0
- package/dist/workers/tokenStore.js +407 -0
- package/dist/workers/tokenWithTextArray.js +73 -0
- package/dist/workers/tokenization.js +29 -0
- package/dist/workers/tokenizationRegistry.js +123 -0
- package/dist/workers/tokenizationTextModelPart.js +275 -0
- package/dist/workers/tokenizer.js +301 -0
- package/dist/workers/tokenizerSyntaxTokenBackend.js +261 -0
- package/dist/workers/toolbar.js +244 -0
- package/dist/workers/touch.js +270 -0
- package/dist/workers/transaction.js +109 -0
- package/dist/workers/transpose.js +65 -0
- package/dist/workers/tree.js +45 -0
- package/dist/workers/treeSitterLibraryService.js +9 -0
- package/dist/workers/treeSitterSyntaxTokenBackend.js +167 -0
- package/dist/workers/treeSitterThemeService.js +9 -0
- package/dist/workers/treeSitterTokenizationImpl.js +713 -0
- package/dist/workers/treeSitterTree.js +395 -0
- package/dist/workers/treeViewsDnd.js +24 -0
- package/dist/workers/treeViewsDndService.js +12 -0
- package/dist/workers/triggerInlineEditCommandsRegistry.js +18 -0
- package/dist/workers/trimTrailingWhitespaceCommand.js +98 -0
- package/dist/workers/trustedTypes.js +29 -0
- package/dist/workers/tsMode.js +212 -0
- package/dist/workers/tsWorker.js +352 -0
- package/dist/workers/twig.contribution.js +9 -0
- package/dist/workers/twig.js +391 -0
- package/dist/workers/types.js +144 -0
- package/dist/workers/typescript.contribution.js +11 -0
- package/dist/workers/typescript.js +408 -0
- package/dist/workers/typescriptServices.js +210154 -0
- package/dist/workers/typescriptServicesMetadata.js +3 -0
- package/dist/workers/typespec.contribution.js +8 -0
- package/dist/workers/typespec.js +126 -0
- package/dist/workers/typingSpeed.js +165 -0
- package/dist/workers/uint.js +24 -0
- package/dist/workers/undoRedo.js +43 -0
- package/dist/workers/undoRedoService.js +1076 -0
- package/dist/workers/unicodeHighlighter.js +673 -0
- package/dist/workers/unicodeTextModelHighlighter.js +188 -0
- package/dist/workers/unusualLineTerminators.js +113 -0
- package/dist/workers/updatableHoverWidget.js +107 -0
- package/dist/workers/uri.js +606 -0
- package/dist/workers/usLayoutResolvedKeybinding.js +175 -0
- package/dist/workers/utils.js +209 -0
- package/dist/workers/utilsCancellation.js +63 -0
- package/dist/workers/uuid.js +53 -0
- package/dist/workers/validation.js +159 -0
- package/dist/workers/vb.contribution.js +8 -0
- package/dist/workers/vb.js +371 -0
- package/dist/workers/verticalScrollbar.js +94 -0
- package/dist/workers/view.js +720 -0
- package/dist/workers/viewContext.js +22 -0
- package/dist/workers/viewController.js +274 -0
- package/dist/workers/viewCursor.js +218 -0
- package/dist/workers/viewCursors.js +339 -0
- package/dist/workers/viewEventHandler.js +186 -0
- package/dist/workers/viewEvents.js +180 -0
- package/dist/workers/viewGpuContext.js +241 -0
- package/dist/workers/viewLayer.js +478 -0
- package/dist/workers/viewLayout.js +368 -0
- package/dist/workers/viewLine.js +544 -0
- package/dist/workers/viewLineOptions.js +43 -0
- package/dist/workers/viewLineRenderer.js +948 -0
- package/dist/workers/viewLines.js +721 -0
- package/dist/workers/viewLinesGpu.js +571 -0
- package/dist/workers/viewLinesViewportData.js +30 -0
- package/dist/workers/viewModel.js +98 -0
- package/dist/workers/viewModelDecoration.js +55 -0
- package/dist/workers/viewModelDecorations.js +132 -0
- package/dist/workers/viewModelEventDispatcher.js +398 -0
- package/dist/workers/viewModelImpl.js +1163 -0
- package/dist/workers/viewModelLines.js +938 -0
- package/dist/workers/viewOverlays.js +204 -0
- package/dist/workers/viewPart.js +49 -0
- package/dist/workers/viewUserInputEvents.js +91 -0
- package/dist/workers/viewZones.js +335 -0
- package/dist/workers/viewportRenderStrategy.js +316 -0
- package/dist/workers/viewportSemanticTokens.js +166 -0
- package/dist/workers/webWorker.js +396 -0
- package/dist/workers/webWorkerBootstrap.js +20 -0
- package/dist/workers/webWorkerFactory.js +171 -0
- package/dist/workers/wgsl.contribution.js +8 -0
- package/dist/workers/wgsl.js +452 -0
- package/dist/workers/whitespace.js +277 -0
- package/dist/workers/widget.js +44 -0
- package/dist/workers/window.js +60 -0
- package/dist/workers/wordCharacterClassifier.js +87 -0
- package/dist/workers/wordContextKey.js +69 -0
- package/dist/workers/wordDistance.js +64 -0
- package/dist/workers/wordHelper.js +127 -0
- package/dist/workers/wordHighlighter.js +796 -0
- package/dist/workers/wordOperations.js +442 -0
- package/dist/workers/wordPartOperations.js +145 -0
- package/dist/workers/wordSelections.js +82 -0
- package/dist/workers/workerManager.js +147 -0
- package/dist/workers/workers.js +141 -0
- package/dist/workers/workspace.js +84 -0
- package/dist/workers/workspaceTrust.js +9 -0
- package/dist/workers/wrapInHotClass.js +41 -0
- package/dist/workers/wrapInReloadableClass.js +35 -0
- package/dist/workers/xml.contribution.js +28 -0
- package/dist/workers/xml.js +160 -0
- package/dist/workers/yaml.contribution.js +9 -0
- package/dist/workers/yaml.js +271 -0
- package/dist/workers/zoneWidget.js +406 -0
- package/package.json +2 -2
- package/dist/assets/css.worker-C7FogG4G.js +0 -93
- package/dist/assets/editor.worker-iXcRX1Tq.js +0 -26
- package/dist/assets/html.worker-C8VxctEJ.js +0 -470
- package/dist/assets/json.worker-CMC9kgPL.js +0 -58
- package/dist/assets/ts.worker-CtTJ3hNN.js +0 -67731
|
@@ -0,0 +1,1856 @@
|
|
|
1
|
+
import '../../services/markerDecorations.js';
|
|
2
|
+
import { DragAndDropObserver, getWindow, scheduleAtNextAnimationFrame } from '../../../../base/browser/dom.js';
|
|
3
|
+
import { onUnexpectedError } from '../../../../base/common/errors.js';
|
|
4
|
+
import { createEventDeliveryQueue, Emitter } from '../../../../base/common/event.js';
|
|
5
|
+
import { Disposable, dispose } from '../../../../base/common/lifecycle.js';
|
|
6
|
+
import { Schemas } from '../../../../base/common/network.js';
|
|
7
|
+
import './editor.css';
|
|
8
|
+
import { applyFontInfo } from '../../config/domFontInfo.js';
|
|
9
|
+
import { EditorConfiguration } from '../../config/editorConfiguration.js';
|
|
10
|
+
import { TabFocus } from '../../config/tabFocus.js';
|
|
11
|
+
import { EditorExtensionsRegistry } from '../../editorExtensions.js';
|
|
12
|
+
import { ICodeEditorService } from '../../services/codeEditorService.js';
|
|
13
|
+
import { View } from '../../view.js';
|
|
14
|
+
import { DOMLineBreaksComputerFactory } from '../../view/domLineBreaksComputer.js';
|
|
15
|
+
import { ViewUserInputEvents } from '../../view/viewUserInputEvents.js';
|
|
16
|
+
import { CodeEditorContributions } from './codeEditorContributions.js';
|
|
17
|
+
import { filterValidationDecorations, filterFontDecorations } from '../../../common/config/editorOptions.js';
|
|
18
|
+
import { CursorColumns } from '../../../common/core/cursorColumns.js';
|
|
19
|
+
import { editorUnnecessaryCodeOpacity } from '../../../common/core/editorColorRegistry.js';
|
|
20
|
+
import { Position } from '../../../common/core/position.js';
|
|
21
|
+
import { Range } from '../../../common/core/range.js';
|
|
22
|
+
import { Selection } from '../../../common/core/selection.js';
|
|
23
|
+
import { WordOperations } from '../../../common/cursor/cursorWordOperations.js';
|
|
24
|
+
import { InternalEditorAction } from '../../../common/editorAction.js';
|
|
25
|
+
import { EditorType } from '../../../common/editorCommon.js';
|
|
26
|
+
import { EditorContextKeys } from '../../../common/editorContextKeys.js';
|
|
27
|
+
import { ILanguageConfigurationService } from '../../../common/languages/languageConfigurationRegistry.js';
|
|
28
|
+
import { ModelDecorationOptions } from '../../../common/model/textModel.js';
|
|
29
|
+
import { ILanguageFeaturesService } from '../../../common/services/languageFeatures.js';
|
|
30
|
+
import { MonospaceLineBreaksComputerFactory } from '../../../common/viewModel/monospaceLineBreaksComputer.js';
|
|
31
|
+
import { ViewModel } from '../../../common/viewModel/viewModelImpl.js';
|
|
32
|
+
import { localize } from '../../../../nls.js';
|
|
33
|
+
import { IAccessibilityService } from '../../../../platform/accessibility/common/accessibility.js';
|
|
34
|
+
import { ICommandService } from '../../../../platform/commands/common/commands.js';
|
|
35
|
+
import { IContextKeyService } from '../../../../platform/contextkey/common/contextkey.js';
|
|
36
|
+
import { IInstantiationService } from '../../../../platform/instantiation/common/instantiation.js';
|
|
37
|
+
import { ServiceCollection } from '../../../../platform/instantiation/common/serviceCollection.js';
|
|
38
|
+
import { Severity, INotificationService } from '../../../../platform/notification/common/notification.js';
|
|
39
|
+
import '../../../../platform/theme/common/colorUtils.js';
|
|
40
|
+
import '../../../../platform/theme/common/colors/baseColors.js';
|
|
41
|
+
import '../../../../platform/theme/common/colors/chartsColors.js';
|
|
42
|
+
import { editorErrorForeground, editorWarningForeground, editorInfoForeground, editorHintForeground } from '../../../../platform/theme/common/colors/editorColors.js';
|
|
43
|
+
import '../../../../platform/theme/common/colors/inputColors.js';
|
|
44
|
+
import '../../../../platform/theme/common/colors/listColors.js';
|
|
45
|
+
import '../../../../platform/theme/common/colors/menuColors.js';
|
|
46
|
+
import '../../../../platform/theme/common/colors/minimapColors.js';
|
|
47
|
+
import '../../../../platform/theme/common/colors/miscColors.js';
|
|
48
|
+
import '../../../../platform/theme/common/colors/quickpickColors.js';
|
|
49
|
+
import '../../../../platform/theme/common/colors/searchColors.js';
|
|
50
|
+
import { IThemeService, registerThemingParticipant } from '../../../../platform/theme/common/themeService.js';
|
|
51
|
+
import { MenuId } from '../../../../platform/actions/common/actions.js';
|
|
52
|
+
import { TextModelEditSource, EditSources } from '../../../common/textModelEditSource.js';
|
|
53
|
+
import { isObject } from '../../../../base/common/types.js';
|
|
54
|
+
|
|
55
|
+
/*---------------------------------------------------------------------------------------------
|
|
56
|
+
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
57
|
+
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
58
|
+
*--------------------------------------------------------------------------------------------*/
|
|
59
|
+
var __decorate = (undefined && undefined.__decorate) || function (decorators, target, key, desc) {
|
|
60
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
61
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
62
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
63
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
64
|
+
};
|
|
65
|
+
var __param = (undefined && undefined.__param) || function (paramIndex, decorator) {
|
|
66
|
+
return function (target, key) { decorator(target, key, paramIndex); }
|
|
67
|
+
};
|
|
68
|
+
var CodeEditorWidget_1;
|
|
69
|
+
let CodeEditorWidget = class CodeEditorWidget extends Disposable {
|
|
70
|
+
static { CodeEditorWidget_1 = this; }
|
|
71
|
+
static { this.dropIntoEditorDecorationOptions = ModelDecorationOptions.register({
|
|
72
|
+
description: 'workbench-dnd-target',
|
|
73
|
+
className: 'dnd-target'
|
|
74
|
+
}); }
|
|
75
|
+
//#endregion
|
|
76
|
+
get isSimpleWidget() {
|
|
77
|
+
return this._configuration.isSimpleWidget;
|
|
78
|
+
}
|
|
79
|
+
get contextMenuId() {
|
|
80
|
+
return this._configuration.contextMenuId;
|
|
81
|
+
}
|
|
82
|
+
get contextKeyService() { return this._contextKeyService; }
|
|
83
|
+
constructor(domElement, _options, codeEditorWidgetOptions, instantiationService, codeEditorService, commandService, contextKeyService, themeService, notificationService, accessibilityService, languageConfigurationService, languageFeaturesService) {
|
|
84
|
+
super();
|
|
85
|
+
this.languageConfigurationService = languageConfigurationService;
|
|
86
|
+
//#region Eventing
|
|
87
|
+
this._deliveryQueue = createEventDeliveryQueue();
|
|
88
|
+
this._contributions = this._register(new CodeEditorContributions());
|
|
89
|
+
this._onDidDispose = this._register(new Emitter());
|
|
90
|
+
this.onDidDispose = this._onDidDispose.event;
|
|
91
|
+
this._onDidChangeModelContent = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
92
|
+
this.onDidChangeModelContent = this._onDidChangeModelContent.event;
|
|
93
|
+
this._onDidChangeModelLanguage = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
94
|
+
this.onDidChangeModelLanguage = this._onDidChangeModelLanguage.event;
|
|
95
|
+
this._onDidChangeModelLanguageConfiguration = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
96
|
+
this.onDidChangeModelLanguageConfiguration = this._onDidChangeModelLanguageConfiguration.event;
|
|
97
|
+
this._onDidChangeModelOptions = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
98
|
+
this.onDidChangeModelOptions = this._onDidChangeModelOptions.event;
|
|
99
|
+
this._onDidChangeModelDecorations = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
100
|
+
this.onDidChangeModelDecorations = this._onDidChangeModelDecorations.event;
|
|
101
|
+
this._onDidChangeLineHeight = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
102
|
+
this.onDidChangeLineHeight = this._onDidChangeLineHeight.event;
|
|
103
|
+
this._onDidChangeFont = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
104
|
+
this.onDidChangeFont = this._onDidChangeFont.event;
|
|
105
|
+
this._onDidChangeModelTokens = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
106
|
+
this.onDidChangeModelTokens = this._onDidChangeModelTokens.event;
|
|
107
|
+
this._onDidChangeConfiguration = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
108
|
+
this.onDidChangeConfiguration = this._onDidChangeConfiguration.event;
|
|
109
|
+
this._onWillChangeModel = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
110
|
+
this.onWillChangeModel = this._onWillChangeModel.event;
|
|
111
|
+
this._onDidChangeModel = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
112
|
+
this.onDidChangeModel = this._onDidChangeModel.event;
|
|
113
|
+
this._onDidChangeCursorPosition = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
114
|
+
this.onDidChangeCursorPosition = this._onDidChangeCursorPosition.event;
|
|
115
|
+
this._onDidChangeCursorSelection = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
116
|
+
this.onDidChangeCursorSelection = this._onDidChangeCursorSelection.event;
|
|
117
|
+
this._onDidAttemptReadOnlyEdit = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
118
|
+
this.onDidAttemptReadOnlyEdit = this._onDidAttemptReadOnlyEdit.event;
|
|
119
|
+
this._onDidLayoutChange = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
120
|
+
this.onDidLayoutChange = this._onDidLayoutChange.event;
|
|
121
|
+
this._editorTextFocus = this._register(new BooleanEventEmitter({ deliveryQueue: this._deliveryQueue }));
|
|
122
|
+
this.onDidFocusEditorText = this._editorTextFocus.onDidChangeToTrue;
|
|
123
|
+
this.onDidBlurEditorText = this._editorTextFocus.onDidChangeToFalse;
|
|
124
|
+
this._editorWidgetFocus = this._register(new BooleanEventEmitter({ deliveryQueue: this._deliveryQueue }));
|
|
125
|
+
this.onDidFocusEditorWidget = this._editorWidgetFocus.onDidChangeToTrue;
|
|
126
|
+
this.onDidBlurEditorWidget = this._editorWidgetFocus.onDidChangeToFalse;
|
|
127
|
+
this._onWillType = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
128
|
+
this.onWillType = this._onWillType.event;
|
|
129
|
+
this._onDidType = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
130
|
+
this.onDidType = this._onDidType.event;
|
|
131
|
+
this._onDidCompositionStart = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
132
|
+
this.onDidCompositionStart = this._onDidCompositionStart.event;
|
|
133
|
+
this._onDidCompositionEnd = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
134
|
+
this.onDidCompositionEnd = this._onDidCompositionEnd.event;
|
|
135
|
+
this._onDidPaste = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
136
|
+
this.onDidPaste = this._onDidPaste.event;
|
|
137
|
+
this._onMouseUp = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
138
|
+
this.onMouseUp = this._onMouseUp.event;
|
|
139
|
+
this._onMouseDown = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
140
|
+
this.onMouseDown = this._onMouseDown.event;
|
|
141
|
+
this._onMouseDrag = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
142
|
+
this.onMouseDrag = this._onMouseDrag.event;
|
|
143
|
+
this._onMouseDrop = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
144
|
+
this.onMouseDrop = this._onMouseDrop.event;
|
|
145
|
+
this._onMouseDropCanceled = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
146
|
+
this.onMouseDropCanceled = this._onMouseDropCanceled.event;
|
|
147
|
+
this._onDropIntoEditor = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
148
|
+
this.onDropIntoEditor = this._onDropIntoEditor.event;
|
|
149
|
+
this._onContextMenu = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
150
|
+
this.onContextMenu = this._onContextMenu.event;
|
|
151
|
+
this._onMouseMove = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
152
|
+
this.onMouseMove = this._onMouseMove.event;
|
|
153
|
+
this._onMouseLeave = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
154
|
+
this.onMouseLeave = this._onMouseLeave.event;
|
|
155
|
+
this._onMouseWheel = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
156
|
+
this.onMouseWheel = this._onMouseWheel.event;
|
|
157
|
+
this._onKeyUp = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
158
|
+
this.onKeyUp = this._onKeyUp.event;
|
|
159
|
+
this._onKeyDown = this._register(new InteractionEmitter(this._contributions, this._deliveryQueue));
|
|
160
|
+
this.onKeyDown = this._onKeyDown.event;
|
|
161
|
+
this._onDidContentSizeChange = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
162
|
+
this.onDidContentSizeChange = this._onDidContentSizeChange.event;
|
|
163
|
+
this._onDidScrollChange = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
164
|
+
this.onDidScrollChange = this._onDidScrollChange.event;
|
|
165
|
+
this._onDidChangeViewZones = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
166
|
+
this.onDidChangeViewZones = this._onDidChangeViewZones.event;
|
|
167
|
+
this._onDidChangeHiddenAreas = this._register(new Emitter({ deliveryQueue: this._deliveryQueue }));
|
|
168
|
+
this.onDidChangeHiddenAreas = this._onDidChangeHiddenAreas.event;
|
|
169
|
+
this._updateCounter = 0;
|
|
170
|
+
this._onWillTriggerEditorOperationEvent = this._register(new Emitter());
|
|
171
|
+
this._onBeginUpdate = this._register(new Emitter());
|
|
172
|
+
this.onBeginUpdate = this._onBeginUpdate.event;
|
|
173
|
+
this._onEndUpdate = this._register(new Emitter());
|
|
174
|
+
this.onEndUpdate = this._onEndUpdate.event;
|
|
175
|
+
this._onBeforeExecuteEdit = this._register(new Emitter());
|
|
176
|
+
this.onBeforeExecuteEdit = this._onBeforeExecuteEdit.event;
|
|
177
|
+
this._actions = new Map();
|
|
178
|
+
this._bannerDomNode = null;
|
|
179
|
+
this._dropIntoEditorDecorations = this.createDecorationsCollection();
|
|
180
|
+
this.inComposition = false;
|
|
181
|
+
codeEditorService.willCreateCodeEditor();
|
|
182
|
+
const options = { ..._options };
|
|
183
|
+
this._domElement = domElement;
|
|
184
|
+
this._overflowWidgetsDomNode = options.overflowWidgetsDomNode;
|
|
185
|
+
delete options.overflowWidgetsDomNode;
|
|
186
|
+
this._id = (++EDITOR_ID);
|
|
187
|
+
this._decorationTypeKeysToIds = {};
|
|
188
|
+
this._decorationTypeSubtypes = {};
|
|
189
|
+
this._telemetryData = codeEditorWidgetOptions.telemetryData;
|
|
190
|
+
this._configuration = this._register(this._createConfiguration(codeEditorWidgetOptions.isSimpleWidget || false, codeEditorWidgetOptions.contextMenuId ?? (codeEditorWidgetOptions.isSimpleWidget ? MenuId.SimpleEditorContext : MenuId.EditorContext), options, accessibilityService));
|
|
191
|
+
this._register(this._configuration.onDidChange((e) => {
|
|
192
|
+
this._onDidChangeConfiguration.fire(e);
|
|
193
|
+
const options = this._configuration.options;
|
|
194
|
+
if (e.hasChanged(165 /* EditorOption.layoutInfo */)) {
|
|
195
|
+
const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
|
|
196
|
+
this._onDidLayoutChange.fire(layoutInfo);
|
|
197
|
+
}
|
|
198
|
+
}));
|
|
199
|
+
this._contextKeyService = this._register(contextKeyService.createScoped(this._domElement));
|
|
200
|
+
if (codeEditorWidgetOptions.contextKeyValues) {
|
|
201
|
+
for (const [key, value] of Object.entries(codeEditorWidgetOptions.contextKeyValues)) {
|
|
202
|
+
this._contextKeyService.createKey(key, value);
|
|
203
|
+
}
|
|
204
|
+
}
|
|
205
|
+
this._notificationService = notificationService;
|
|
206
|
+
this._codeEditorService = codeEditorService;
|
|
207
|
+
this._commandService = commandService;
|
|
208
|
+
this._themeService = themeService;
|
|
209
|
+
this._register(new EditorContextKeysManager(this, this._contextKeyService));
|
|
210
|
+
this._register(new EditorModeContext(this, this._contextKeyService, languageFeaturesService));
|
|
211
|
+
this._instantiationService = this._register(instantiationService.createChild(new ServiceCollection([IContextKeyService, this._contextKeyService])));
|
|
212
|
+
this._modelData = null;
|
|
213
|
+
this._contentWidgets = {};
|
|
214
|
+
this._overlayWidgets = {};
|
|
215
|
+
this._glyphMarginWidgets = {};
|
|
216
|
+
let contributions;
|
|
217
|
+
if (Array.isArray(codeEditorWidgetOptions.contributions)) {
|
|
218
|
+
contributions = codeEditorWidgetOptions.contributions;
|
|
219
|
+
}
|
|
220
|
+
else {
|
|
221
|
+
contributions = EditorExtensionsRegistry.getEditorContributions();
|
|
222
|
+
}
|
|
223
|
+
this._contributions.initialize(this, contributions, this._instantiationService);
|
|
224
|
+
for (const action of EditorExtensionsRegistry.getEditorActions()) {
|
|
225
|
+
if (this._actions.has(action.id)) {
|
|
226
|
+
onUnexpectedError(new Error(`Cannot have two actions with the same id ${action.id}`));
|
|
227
|
+
continue;
|
|
228
|
+
}
|
|
229
|
+
const internalAction = new InternalEditorAction(action.id, action.label, action.alias, action.metadata, action.precondition ?? undefined, (args) => {
|
|
230
|
+
return this._instantiationService.invokeFunction((accessor) => {
|
|
231
|
+
return Promise.resolve(action.runEditorCommand(accessor, this, args));
|
|
232
|
+
});
|
|
233
|
+
}, this._contextKeyService);
|
|
234
|
+
this._actions.set(internalAction.id, internalAction);
|
|
235
|
+
}
|
|
236
|
+
const isDropIntoEnabled = () => {
|
|
237
|
+
return !this._configuration.options.get(104 /* EditorOption.readOnly */)
|
|
238
|
+
&& this._configuration.options.get(43 /* EditorOption.dropIntoEditor */).enabled;
|
|
239
|
+
};
|
|
240
|
+
this._register(new DragAndDropObserver(this._domElement, {
|
|
241
|
+
onDragOver: e => {
|
|
242
|
+
if (!isDropIntoEnabled()) {
|
|
243
|
+
return;
|
|
244
|
+
}
|
|
245
|
+
const target = this.getTargetAtClientPoint(e.clientX, e.clientY);
|
|
246
|
+
if (target?.position) {
|
|
247
|
+
this.showDropIndicatorAt(target.position);
|
|
248
|
+
}
|
|
249
|
+
},
|
|
250
|
+
onDrop: async (e) => {
|
|
251
|
+
if (!isDropIntoEnabled()) {
|
|
252
|
+
return;
|
|
253
|
+
}
|
|
254
|
+
this.removeDropIndicator();
|
|
255
|
+
if (!e.dataTransfer) {
|
|
256
|
+
return;
|
|
257
|
+
}
|
|
258
|
+
const target = this.getTargetAtClientPoint(e.clientX, e.clientY);
|
|
259
|
+
if (target?.position) {
|
|
260
|
+
this._onDropIntoEditor.fire({ position: target.position, event: e });
|
|
261
|
+
}
|
|
262
|
+
},
|
|
263
|
+
onDragLeave: () => {
|
|
264
|
+
this.removeDropIndicator();
|
|
265
|
+
},
|
|
266
|
+
onDragEnd: () => {
|
|
267
|
+
this.removeDropIndicator();
|
|
268
|
+
},
|
|
269
|
+
}));
|
|
270
|
+
this._codeEditorService.addCodeEditor(this);
|
|
271
|
+
}
|
|
272
|
+
writeScreenReaderContent(reason) {
|
|
273
|
+
this._modelData?.view.writeScreenReaderContent(reason);
|
|
274
|
+
}
|
|
275
|
+
_createConfiguration(isSimpleWidget, contextMenuId, options, accessibilityService) {
|
|
276
|
+
return new EditorConfiguration(isSimpleWidget, contextMenuId, options, this._domElement, accessibilityService);
|
|
277
|
+
}
|
|
278
|
+
getId() {
|
|
279
|
+
return this.getEditorType() + ':' + this._id;
|
|
280
|
+
}
|
|
281
|
+
getEditorType() {
|
|
282
|
+
return EditorType.ICodeEditor;
|
|
283
|
+
}
|
|
284
|
+
dispose() {
|
|
285
|
+
this._codeEditorService.removeCodeEditor(this);
|
|
286
|
+
this._actions.clear();
|
|
287
|
+
this._contentWidgets = {};
|
|
288
|
+
this._overlayWidgets = {};
|
|
289
|
+
this._removeDecorationTypes();
|
|
290
|
+
this._postDetachModelCleanup(this._detachModel());
|
|
291
|
+
this._onDidDispose.fire();
|
|
292
|
+
super.dispose();
|
|
293
|
+
}
|
|
294
|
+
invokeWithinContext(fn) {
|
|
295
|
+
return this._instantiationService.invokeFunction(fn);
|
|
296
|
+
}
|
|
297
|
+
updateOptions(newOptions) {
|
|
298
|
+
this._configuration.updateOptions(newOptions || {});
|
|
299
|
+
}
|
|
300
|
+
getOptions() {
|
|
301
|
+
return this._configuration.options;
|
|
302
|
+
}
|
|
303
|
+
getOption(id) {
|
|
304
|
+
return this._configuration.options.get(id);
|
|
305
|
+
}
|
|
306
|
+
getRawOptions() {
|
|
307
|
+
return this._configuration.getRawOptions();
|
|
308
|
+
}
|
|
309
|
+
getOverflowWidgetsDomNode() {
|
|
310
|
+
return this._overflowWidgetsDomNode;
|
|
311
|
+
}
|
|
312
|
+
getConfiguredWordAtPosition(position) {
|
|
313
|
+
if (!this._modelData) {
|
|
314
|
+
return null;
|
|
315
|
+
}
|
|
316
|
+
return WordOperations.getWordAtPosition(this._modelData.model, this._configuration.options.get(148 /* EditorOption.wordSeparators */), this._configuration.options.get(147 /* EditorOption.wordSegmenterLocales */), position);
|
|
317
|
+
}
|
|
318
|
+
getValue(options = null) {
|
|
319
|
+
if (!this._modelData) {
|
|
320
|
+
return '';
|
|
321
|
+
}
|
|
322
|
+
const preserveBOM = (options && options.preserveBOM) ? true : false;
|
|
323
|
+
let eolPreference = 0 /* EndOfLinePreference.TextDefined */;
|
|
324
|
+
if (options && options.lineEnding && options.lineEnding === '\n') {
|
|
325
|
+
eolPreference = 1 /* EndOfLinePreference.LF */;
|
|
326
|
+
}
|
|
327
|
+
else if (options && options.lineEnding && options.lineEnding === '\r\n') {
|
|
328
|
+
eolPreference = 2 /* EndOfLinePreference.CRLF */;
|
|
329
|
+
}
|
|
330
|
+
return this._modelData.model.getValue(eolPreference, preserveBOM);
|
|
331
|
+
}
|
|
332
|
+
setValue(newValue) {
|
|
333
|
+
try {
|
|
334
|
+
this._beginUpdate();
|
|
335
|
+
if (!this._modelData) {
|
|
336
|
+
return;
|
|
337
|
+
}
|
|
338
|
+
this._modelData.model.setValue(newValue);
|
|
339
|
+
}
|
|
340
|
+
finally {
|
|
341
|
+
this._endUpdate();
|
|
342
|
+
}
|
|
343
|
+
}
|
|
344
|
+
getModel() {
|
|
345
|
+
if (!this._modelData) {
|
|
346
|
+
return null;
|
|
347
|
+
}
|
|
348
|
+
return this._modelData.model;
|
|
349
|
+
}
|
|
350
|
+
setModel(_model = null) {
|
|
351
|
+
try {
|
|
352
|
+
this._beginUpdate();
|
|
353
|
+
const model = _model;
|
|
354
|
+
if (this._modelData === null && model === null) {
|
|
355
|
+
// Current model is the new model
|
|
356
|
+
return;
|
|
357
|
+
}
|
|
358
|
+
if (this._modelData && this._modelData.model === model) {
|
|
359
|
+
// Current model is the new model
|
|
360
|
+
return;
|
|
361
|
+
}
|
|
362
|
+
const e = {
|
|
363
|
+
oldModelUrl: this._modelData?.model.uri || null,
|
|
364
|
+
newModelUrl: model?.uri || null
|
|
365
|
+
};
|
|
366
|
+
this._onWillChangeModel.fire(e);
|
|
367
|
+
const hasTextFocus = this.hasTextFocus();
|
|
368
|
+
const detachedModel = this._detachModel();
|
|
369
|
+
this._attachModel(model);
|
|
370
|
+
if (this.hasModel()) {
|
|
371
|
+
// we have a new model (with a new view)!
|
|
372
|
+
if (hasTextFocus) {
|
|
373
|
+
this.focus();
|
|
374
|
+
}
|
|
375
|
+
}
|
|
376
|
+
else {
|
|
377
|
+
// we have no model (and no view) anymore
|
|
378
|
+
// make sure the outside world knows we are not focused
|
|
379
|
+
this._editorTextFocus.setValue(false);
|
|
380
|
+
this._editorWidgetFocus.setValue(false);
|
|
381
|
+
}
|
|
382
|
+
this._removeDecorationTypes();
|
|
383
|
+
this._onDidChangeModel.fire(e);
|
|
384
|
+
this._postDetachModelCleanup(detachedModel);
|
|
385
|
+
this._contributionsDisposable = this._contributions.onAfterModelAttached();
|
|
386
|
+
}
|
|
387
|
+
finally {
|
|
388
|
+
this._endUpdate();
|
|
389
|
+
}
|
|
390
|
+
}
|
|
391
|
+
_removeDecorationTypes() {
|
|
392
|
+
this._decorationTypeKeysToIds = {};
|
|
393
|
+
if (this._decorationTypeSubtypes) {
|
|
394
|
+
for (const decorationType in this._decorationTypeSubtypes) {
|
|
395
|
+
const subTypes = this._decorationTypeSubtypes[decorationType];
|
|
396
|
+
for (const subType in subTypes) {
|
|
397
|
+
this._removeDecorationType(decorationType + '-' + subType);
|
|
398
|
+
}
|
|
399
|
+
}
|
|
400
|
+
this._decorationTypeSubtypes = {};
|
|
401
|
+
}
|
|
402
|
+
}
|
|
403
|
+
getVisibleRanges() {
|
|
404
|
+
if (!this._modelData) {
|
|
405
|
+
return [];
|
|
406
|
+
}
|
|
407
|
+
return this._modelData.viewModel.getVisibleRanges();
|
|
408
|
+
}
|
|
409
|
+
getVisibleRangesPlusViewportAboveBelow() {
|
|
410
|
+
if (!this._modelData) {
|
|
411
|
+
return [];
|
|
412
|
+
}
|
|
413
|
+
return this._modelData.viewModel.getVisibleRangesPlusViewportAboveBelow();
|
|
414
|
+
}
|
|
415
|
+
getWhitespaces() {
|
|
416
|
+
if (!this._modelData) {
|
|
417
|
+
return [];
|
|
418
|
+
}
|
|
419
|
+
return this._modelData.viewModel.viewLayout.getWhitespaces();
|
|
420
|
+
}
|
|
421
|
+
static _getVerticalOffsetAfterPosition(modelData, modelLineNumber, modelColumn, includeViewZones) {
|
|
422
|
+
const modelPosition = modelData.model.validatePosition({
|
|
423
|
+
lineNumber: modelLineNumber,
|
|
424
|
+
column: modelColumn
|
|
425
|
+
});
|
|
426
|
+
const viewPosition = modelData.viewModel.coordinatesConverter.convertModelPositionToViewPosition(modelPosition);
|
|
427
|
+
return modelData.viewModel.viewLayout.getVerticalOffsetAfterLineNumber(viewPosition.lineNumber, includeViewZones);
|
|
428
|
+
}
|
|
429
|
+
getTopForLineNumber(lineNumber, includeViewZones = false) {
|
|
430
|
+
if (!this._modelData) {
|
|
431
|
+
return -1;
|
|
432
|
+
}
|
|
433
|
+
return CodeEditorWidget_1._getVerticalOffsetForPosition(this._modelData, lineNumber, 1, includeViewZones);
|
|
434
|
+
}
|
|
435
|
+
getTopForPosition(lineNumber, column) {
|
|
436
|
+
if (!this._modelData) {
|
|
437
|
+
return -1;
|
|
438
|
+
}
|
|
439
|
+
return CodeEditorWidget_1._getVerticalOffsetForPosition(this._modelData, lineNumber, column, false);
|
|
440
|
+
}
|
|
441
|
+
static _getVerticalOffsetForPosition(modelData, modelLineNumber, modelColumn, includeViewZones = false) {
|
|
442
|
+
const modelPosition = modelData.model.validatePosition({
|
|
443
|
+
lineNumber: modelLineNumber,
|
|
444
|
+
column: modelColumn
|
|
445
|
+
});
|
|
446
|
+
const viewPosition = modelData.viewModel.coordinatesConverter.convertModelPositionToViewPosition(modelPosition);
|
|
447
|
+
return modelData.viewModel.viewLayout.getVerticalOffsetForLineNumber(viewPosition.lineNumber, includeViewZones);
|
|
448
|
+
}
|
|
449
|
+
getBottomForLineNumber(lineNumber, includeViewZones = false) {
|
|
450
|
+
if (!this._modelData) {
|
|
451
|
+
return -1;
|
|
452
|
+
}
|
|
453
|
+
const maxCol = this._modelData.model.getLineMaxColumn(lineNumber);
|
|
454
|
+
return CodeEditorWidget_1._getVerticalOffsetAfterPosition(this._modelData, lineNumber, maxCol, includeViewZones);
|
|
455
|
+
}
|
|
456
|
+
getLineHeightForPosition(position) {
|
|
457
|
+
if (!this._modelData) {
|
|
458
|
+
return -1;
|
|
459
|
+
}
|
|
460
|
+
const viewModel = this._modelData.viewModel;
|
|
461
|
+
const coordinatesConverter = viewModel.coordinatesConverter;
|
|
462
|
+
const pos = Position.lift(position);
|
|
463
|
+
if (coordinatesConverter.modelPositionIsVisible(pos)) {
|
|
464
|
+
const viewPosition = coordinatesConverter.convertModelPositionToViewPosition(pos);
|
|
465
|
+
return viewModel.viewLayout.getLineHeightForLineNumber(viewPosition.lineNumber);
|
|
466
|
+
}
|
|
467
|
+
return 0;
|
|
468
|
+
}
|
|
469
|
+
setHiddenAreas(ranges, source, forceUpdate) {
|
|
470
|
+
this._modelData?.viewModel.setHiddenAreas(ranges.map(r => Range.lift(r)), source, forceUpdate);
|
|
471
|
+
}
|
|
472
|
+
getVisibleColumnFromPosition(rawPosition) {
|
|
473
|
+
if (!this._modelData) {
|
|
474
|
+
return rawPosition.column;
|
|
475
|
+
}
|
|
476
|
+
const position = this._modelData.model.validatePosition(rawPosition);
|
|
477
|
+
const tabSize = this._modelData.model.getOptions().tabSize;
|
|
478
|
+
return CursorColumns.visibleColumnFromColumn(this._modelData.model.getLineContent(position.lineNumber), position.column, tabSize) + 1;
|
|
479
|
+
}
|
|
480
|
+
getPosition() {
|
|
481
|
+
if (!this._modelData) {
|
|
482
|
+
return null;
|
|
483
|
+
}
|
|
484
|
+
return this._modelData.viewModel.getPosition();
|
|
485
|
+
}
|
|
486
|
+
setPosition(position, source = 'api') {
|
|
487
|
+
if (!this._modelData) {
|
|
488
|
+
return;
|
|
489
|
+
}
|
|
490
|
+
if (!Position.isIPosition(position)) {
|
|
491
|
+
throw new Error('Invalid arguments');
|
|
492
|
+
}
|
|
493
|
+
this._modelData.viewModel.setSelections(source, [{
|
|
494
|
+
selectionStartLineNumber: position.lineNumber,
|
|
495
|
+
selectionStartColumn: position.column,
|
|
496
|
+
positionLineNumber: position.lineNumber,
|
|
497
|
+
positionColumn: position.column
|
|
498
|
+
}]);
|
|
499
|
+
}
|
|
500
|
+
_sendRevealRange(modelRange, verticalType, revealHorizontal, scrollType) {
|
|
501
|
+
if (!this._modelData) {
|
|
502
|
+
return;
|
|
503
|
+
}
|
|
504
|
+
if (!Range.isIRange(modelRange)) {
|
|
505
|
+
throw new Error('Invalid arguments');
|
|
506
|
+
}
|
|
507
|
+
const validatedModelRange = this._modelData.model.validateRange(modelRange);
|
|
508
|
+
const viewRange = this._modelData.viewModel.coordinatesConverter.convertModelRangeToViewRange(validatedModelRange);
|
|
509
|
+
this._modelData.viewModel.revealRange('api', revealHorizontal, viewRange, verticalType, scrollType);
|
|
510
|
+
}
|
|
511
|
+
revealLine(lineNumber, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
512
|
+
this._revealLine(lineNumber, 0 /* VerticalRevealType.Simple */, scrollType);
|
|
513
|
+
}
|
|
514
|
+
revealLineInCenter(lineNumber, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
515
|
+
this._revealLine(lineNumber, 1 /* VerticalRevealType.Center */, scrollType);
|
|
516
|
+
}
|
|
517
|
+
revealLineInCenterIfOutsideViewport(lineNumber, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
518
|
+
this._revealLine(lineNumber, 2 /* VerticalRevealType.CenterIfOutsideViewport */, scrollType);
|
|
519
|
+
}
|
|
520
|
+
revealLineNearTop(lineNumber, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
521
|
+
this._revealLine(lineNumber, 5 /* VerticalRevealType.NearTop */, scrollType);
|
|
522
|
+
}
|
|
523
|
+
_revealLine(lineNumber, revealType, scrollType) {
|
|
524
|
+
if (typeof lineNumber !== 'number') {
|
|
525
|
+
throw new Error('Invalid arguments');
|
|
526
|
+
}
|
|
527
|
+
this._sendRevealRange(new Range(lineNumber, 1, lineNumber, 1), revealType, false, scrollType);
|
|
528
|
+
}
|
|
529
|
+
revealPosition(position, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
530
|
+
this._revealPosition(position, 0 /* VerticalRevealType.Simple */, true, scrollType);
|
|
531
|
+
}
|
|
532
|
+
revealPositionInCenter(position, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
533
|
+
this._revealPosition(position, 1 /* VerticalRevealType.Center */, true, scrollType);
|
|
534
|
+
}
|
|
535
|
+
revealPositionInCenterIfOutsideViewport(position, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
536
|
+
this._revealPosition(position, 2 /* VerticalRevealType.CenterIfOutsideViewport */, true, scrollType);
|
|
537
|
+
}
|
|
538
|
+
revealPositionNearTop(position, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
539
|
+
this._revealPosition(position, 5 /* VerticalRevealType.NearTop */, true, scrollType);
|
|
540
|
+
}
|
|
541
|
+
_revealPosition(position, verticalType, revealHorizontal, scrollType) {
|
|
542
|
+
if (!Position.isIPosition(position)) {
|
|
543
|
+
throw new Error('Invalid arguments');
|
|
544
|
+
}
|
|
545
|
+
this._sendRevealRange(new Range(position.lineNumber, position.column, position.lineNumber, position.column), verticalType, revealHorizontal, scrollType);
|
|
546
|
+
}
|
|
547
|
+
getSelection() {
|
|
548
|
+
if (!this._modelData) {
|
|
549
|
+
return null;
|
|
550
|
+
}
|
|
551
|
+
return this._modelData.viewModel.getSelection();
|
|
552
|
+
}
|
|
553
|
+
getSelections() {
|
|
554
|
+
if (!this._modelData) {
|
|
555
|
+
return null;
|
|
556
|
+
}
|
|
557
|
+
return this._modelData.viewModel.getSelections();
|
|
558
|
+
}
|
|
559
|
+
setSelection(something, source = 'api') {
|
|
560
|
+
const isSelection = Selection.isISelection(something);
|
|
561
|
+
const isRange = Range.isIRange(something);
|
|
562
|
+
if (!isSelection && !isRange) {
|
|
563
|
+
throw new Error('Invalid arguments');
|
|
564
|
+
}
|
|
565
|
+
if (isSelection) {
|
|
566
|
+
this._setSelectionImpl(something, source);
|
|
567
|
+
}
|
|
568
|
+
else if (isRange) {
|
|
569
|
+
// act as if it was an IRange
|
|
570
|
+
const selection = {
|
|
571
|
+
selectionStartLineNumber: something.startLineNumber,
|
|
572
|
+
selectionStartColumn: something.startColumn,
|
|
573
|
+
positionLineNumber: something.endLineNumber,
|
|
574
|
+
positionColumn: something.endColumn
|
|
575
|
+
};
|
|
576
|
+
this._setSelectionImpl(selection, source);
|
|
577
|
+
}
|
|
578
|
+
}
|
|
579
|
+
_setSelectionImpl(sel, source) {
|
|
580
|
+
if (!this._modelData) {
|
|
581
|
+
return;
|
|
582
|
+
}
|
|
583
|
+
const selection = new Selection(sel.selectionStartLineNumber, sel.selectionStartColumn, sel.positionLineNumber, sel.positionColumn);
|
|
584
|
+
this._modelData.viewModel.setSelections(source, [selection]);
|
|
585
|
+
}
|
|
586
|
+
revealLines(startLineNumber, endLineNumber, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
587
|
+
this._revealLines(startLineNumber, endLineNumber, 0 /* VerticalRevealType.Simple */, scrollType);
|
|
588
|
+
}
|
|
589
|
+
revealLinesInCenter(startLineNumber, endLineNumber, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
590
|
+
this._revealLines(startLineNumber, endLineNumber, 1 /* VerticalRevealType.Center */, scrollType);
|
|
591
|
+
}
|
|
592
|
+
revealLinesInCenterIfOutsideViewport(startLineNumber, endLineNumber, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
593
|
+
this._revealLines(startLineNumber, endLineNumber, 2 /* VerticalRevealType.CenterIfOutsideViewport */, scrollType);
|
|
594
|
+
}
|
|
595
|
+
revealLinesNearTop(startLineNumber, endLineNumber, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
596
|
+
this._revealLines(startLineNumber, endLineNumber, 5 /* VerticalRevealType.NearTop */, scrollType);
|
|
597
|
+
}
|
|
598
|
+
_revealLines(startLineNumber, endLineNumber, verticalType, scrollType) {
|
|
599
|
+
if (typeof startLineNumber !== 'number' || typeof endLineNumber !== 'number') {
|
|
600
|
+
throw new Error('Invalid arguments');
|
|
601
|
+
}
|
|
602
|
+
this._sendRevealRange(new Range(startLineNumber, 1, endLineNumber, 1), verticalType, false, scrollType);
|
|
603
|
+
}
|
|
604
|
+
revealRange(range, scrollType = 0 /* editorCommon.ScrollType.Smooth */, revealVerticalInCenter = false, revealHorizontal = true) {
|
|
605
|
+
this._revealRange(range, revealVerticalInCenter ? 1 /* VerticalRevealType.Center */ : 0 /* VerticalRevealType.Simple */, revealHorizontal, scrollType);
|
|
606
|
+
}
|
|
607
|
+
revealRangeInCenter(range, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
608
|
+
this._revealRange(range, 1 /* VerticalRevealType.Center */, true, scrollType);
|
|
609
|
+
}
|
|
610
|
+
revealRangeInCenterIfOutsideViewport(range, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
611
|
+
this._revealRange(range, 2 /* VerticalRevealType.CenterIfOutsideViewport */, true, scrollType);
|
|
612
|
+
}
|
|
613
|
+
revealRangeNearTop(range, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
614
|
+
this._revealRange(range, 5 /* VerticalRevealType.NearTop */, true, scrollType);
|
|
615
|
+
}
|
|
616
|
+
revealRangeNearTopIfOutsideViewport(range, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
617
|
+
this._revealRange(range, 6 /* VerticalRevealType.NearTopIfOutsideViewport */, true, scrollType);
|
|
618
|
+
}
|
|
619
|
+
revealRangeAtTop(range, scrollType = 0 /* editorCommon.ScrollType.Smooth */) {
|
|
620
|
+
this._revealRange(range, 3 /* VerticalRevealType.Top */, true, scrollType);
|
|
621
|
+
}
|
|
622
|
+
_revealRange(range, verticalType, revealHorizontal, scrollType) {
|
|
623
|
+
if (!Range.isIRange(range)) {
|
|
624
|
+
throw new Error('Invalid arguments');
|
|
625
|
+
}
|
|
626
|
+
this._sendRevealRange(Range.lift(range), verticalType, revealHorizontal, scrollType);
|
|
627
|
+
}
|
|
628
|
+
setSelections(ranges, source = 'api', reason = 0 /* CursorChangeReason.NotSet */) {
|
|
629
|
+
if (!this._modelData) {
|
|
630
|
+
return;
|
|
631
|
+
}
|
|
632
|
+
if (!ranges || ranges.length === 0) {
|
|
633
|
+
throw new Error('Invalid arguments');
|
|
634
|
+
}
|
|
635
|
+
for (let i = 0, len = ranges.length; i < len; i++) {
|
|
636
|
+
if (!Selection.isISelection(ranges[i])) {
|
|
637
|
+
throw new Error('Invalid arguments');
|
|
638
|
+
}
|
|
639
|
+
}
|
|
640
|
+
this._modelData.viewModel.setSelections(source, ranges, reason);
|
|
641
|
+
}
|
|
642
|
+
getContentWidth() {
|
|
643
|
+
if (!this._modelData) {
|
|
644
|
+
return -1;
|
|
645
|
+
}
|
|
646
|
+
return this._modelData.viewModel.viewLayout.getContentWidth();
|
|
647
|
+
}
|
|
648
|
+
getScrollWidth() {
|
|
649
|
+
if (!this._modelData) {
|
|
650
|
+
return -1;
|
|
651
|
+
}
|
|
652
|
+
return this._modelData.viewModel.viewLayout.getScrollWidth();
|
|
653
|
+
}
|
|
654
|
+
getScrollLeft() {
|
|
655
|
+
if (!this._modelData) {
|
|
656
|
+
return -1;
|
|
657
|
+
}
|
|
658
|
+
return this._modelData.viewModel.viewLayout.getCurrentScrollLeft();
|
|
659
|
+
}
|
|
660
|
+
getContentHeight() {
|
|
661
|
+
if (!this._modelData) {
|
|
662
|
+
return -1;
|
|
663
|
+
}
|
|
664
|
+
return this._modelData.viewModel.viewLayout.getContentHeight();
|
|
665
|
+
}
|
|
666
|
+
getScrollHeight() {
|
|
667
|
+
if (!this._modelData) {
|
|
668
|
+
return -1;
|
|
669
|
+
}
|
|
670
|
+
return this._modelData.viewModel.viewLayout.getScrollHeight();
|
|
671
|
+
}
|
|
672
|
+
getScrollTop() {
|
|
673
|
+
if (!this._modelData) {
|
|
674
|
+
return -1;
|
|
675
|
+
}
|
|
676
|
+
return this._modelData.viewModel.viewLayout.getCurrentScrollTop();
|
|
677
|
+
}
|
|
678
|
+
setScrollLeft(newScrollLeft, scrollType = 1 /* editorCommon.ScrollType.Immediate */) {
|
|
679
|
+
if (!this._modelData) {
|
|
680
|
+
return;
|
|
681
|
+
}
|
|
682
|
+
if (typeof newScrollLeft !== 'number') {
|
|
683
|
+
throw new Error('Invalid arguments');
|
|
684
|
+
}
|
|
685
|
+
this._modelData.viewModel.viewLayout.setScrollPosition({
|
|
686
|
+
scrollLeft: newScrollLeft
|
|
687
|
+
}, scrollType);
|
|
688
|
+
}
|
|
689
|
+
setScrollTop(newScrollTop, scrollType = 1 /* editorCommon.ScrollType.Immediate */) {
|
|
690
|
+
if (!this._modelData) {
|
|
691
|
+
return;
|
|
692
|
+
}
|
|
693
|
+
if (typeof newScrollTop !== 'number') {
|
|
694
|
+
throw new Error('Invalid arguments');
|
|
695
|
+
}
|
|
696
|
+
this._modelData.viewModel.viewLayout.setScrollPosition({
|
|
697
|
+
scrollTop: newScrollTop
|
|
698
|
+
}, scrollType);
|
|
699
|
+
}
|
|
700
|
+
setScrollPosition(position, scrollType = 1 /* editorCommon.ScrollType.Immediate */) {
|
|
701
|
+
if (!this._modelData) {
|
|
702
|
+
return;
|
|
703
|
+
}
|
|
704
|
+
this._modelData.viewModel.viewLayout.setScrollPosition(position, scrollType);
|
|
705
|
+
}
|
|
706
|
+
hasPendingScrollAnimation() {
|
|
707
|
+
if (!this._modelData) {
|
|
708
|
+
return false;
|
|
709
|
+
}
|
|
710
|
+
return this._modelData.viewModel.viewLayout.hasPendingScrollAnimation();
|
|
711
|
+
}
|
|
712
|
+
saveViewState() {
|
|
713
|
+
if (!this._modelData) {
|
|
714
|
+
return null;
|
|
715
|
+
}
|
|
716
|
+
const contributionsState = this._contributions.saveViewState();
|
|
717
|
+
const cursorState = this._modelData.viewModel.saveCursorState();
|
|
718
|
+
const viewState = this._modelData.viewModel.saveState();
|
|
719
|
+
return {
|
|
720
|
+
cursorState: cursorState,
|
|
721
|
+
viewState: viewState,
|
|
722
|
+
contributionsState: contributionsState
|
|
723
|
+
};
|
|
724
|
+
}
|
|
725
|
+
restoreViewState(s) {
|
|
726
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
727
|
+
return;
|
|
728
|
+
}
|
|
729
|
+
const codeEditorState = s;
|
|
730
|
+
if (codeEditorState && codeEditorState.cursorState && codeEditorState.viewState) {
|
|
731
|
+
const cursorState = codeEditorState.cursorState;
|
|
732
|
+
if (Array.isArray(cursorState)) {
|
|
733
|
+
if (cursorState.length > 0) {
|
|
734
|
+
this._modelData.viewModel.restoreCursorState(cursorState);
|
|
735
|
+
}
|
|
736
|
+
}
|
|
737
|
+
else {
|
|
738
|
+
// Backwards compatibility
|
|
739
|
+
this._modelData.viewModel.restoreCursorState([cursorState]);
|
|
740
|
+
}
|
|
741
|
+
this._contributions.restoreViewState(codeEditorState.contributionsState || {});
|
|
742
|
+
const reducedState = this._modelData.viewModel.reduceRestoreState(codeEditorState.viewState);
|
|
743
|
+
this._modelData.view.restoreState(reducedState);
|
|
744
|
+
}
|
|
745
|
+
}
|
|
746
|
+
handleInitialized() {
|
|
747
|
+
this._getViewModel()?.visibleLinesStabilized();
|
|
748
|
+
}
|
|
749
|
+
getContribution(id) {
|
|
750
|
+
return this._contributions.get(id);
|
|
751
|
+
}
|
|
752
|
+
getActions() {
|
|
753
|
+
return Array.from(this._actions.values());
|
|
754
|
+
}
|
|
755
|
+
getSupportedActions() {
|
|
756
|
+
let result = this.getActions();
|
|
757
|
+
result = result.filter(action => action.isSupported());
|
|
758
|
+
return result;
|
|
759
|
+
}
|
|
760
|
+
getAction(id) {
|
|
761
|
+
return this._actions.get(id) || null;
|
|
762
|
+
}
|
|
763
|
+
trigger(source, handlerId, payload) {
|
|
764
|
+
payload = payload || {};
|
|
765
|
+
try {
|
|
766
|
+
this._onWillTriggerEditorOperationEvent.fire({ source: source, handlerId: handlerId, payload: payload });
|
|
767
|
+
this._beginUpdate();
|
|
768
|
+
switch (handlerId) {
|
|
769
|
+
case "compositionStart" /* editorCommon.Handler.CompositionStart */:
|
|
770
|
+
this._startComposition();
|
|
771
|
+
return;
|
|
772
|
+
case "compositionEnd" /* editorCommon.Handler.CompositionEnd */:
|
|
773
|
+
this._endComposition(source);
|
|
774
|
+
return;
|
|
775
|
+
case "type" /* editorCommon.Handler.Type */: {
|
|
776
|
+
const args = payload;
|
|
777
|
+
this._type(source, args.text || '');
|
|
778
|
+
return;
|
|
779
|
+
}
|
|
780
|
+
case "replacePreviousChar" /* editorCommon.Handler.ReplacePreviousChar */: {
|
|
781
|
+
const args = payload;
|
|
782
|
+
this._compositionType(source, args.text || '', args.replaceCharCnt || 0, 0, 0);
|
|
783
|
+
return;
|
|
784
|
+
}
|
|
785
|
+
case "compositionType" /* editorCommon.Handler.CompositionType */: {
|
|
786
|
+
const args = payload;
|
|
787
|
+
this._compositionType(source, args.text || '', args.replacePrevCharCnt || 0, args.replaceNextCharCnt || 0, args.positionDelta || 0);
|
|
788
|
+
return;
|
|
789
|
+
}
|
|
790
|
+
case "paste" /* editorCommon.Handler.Paste */: {
|
|
791
|
+
const args = payload;
|
|
792
|
+
this._paste(source, args.text || '', args.pasteOnNewLine || false, args.multicursorText || null, args.mode || null, args.clipboardEvent);
|
|
793
|
+
return;
|
|
794
|
+
}
|
|
795
|
+
case "cut" /* editorCommon.Handler.Cut */:
|
|
796
|
+
this._cut(source);
|
|
797
|
+
return;
|
|
798
|
+
}
|
|
799
|
+
const action = this.getAction(handlerId);
|
|
800
|
+
if (action) {
|
|
801
|
+
Promise.resolve(action.run(payload)).then(undefined, onUnexpectedError);
|
|
802
|
+
return;
|
|
803
|
+
}
|
|
804
|
+
if (!this._modelData) {
|
|
805
|
+
return;
|
|
806
|
+
}
|
|
807
|
+
if (this._triggerEditorCommand(source, handlerId, payload)) {
|
|
808
|
+
return;
|
|
809
|
+
}
|
|
810
|
+
this._triggerCommand(handlerId, payload);
|
|
811
|
+
}
|
|
812
|
+
finally {
|
|
813
|
+
this._endUpdate();
|
|
814
|
+
}
|
|
815
|
+
}
|
|
816
|
+
_triggerCommand(handlerId, payload) {
|
|
817
|
+
this._commandService.executeCommand(handlerId, payload);
|
|
818
|
+
}
|
|
819
|
+
_startComposition() {
|
|
820
|
+
if (!this._modelData) {
|
|
821
|
+
return;
|
|
822
|
+
}
|
|
823
|
+
this.inComposition = true;
|
|
824
|
+
this._modelData.viewModel.startComposition();
|
|
825
|
+
this._onDidCompositionStart.fire();
|
|
826
|
+
}
|
|
827
|
+
_endComposition(source) {
|
|
828
|
+
if (!this._modelData) {
|
|
829
|
+
return;
|
|
830
|
+
}
|
|
831
|
+
this.inComposition = false;
|
|
832
|
+
this._modelData.viewModel.endComposition(source);
|
|
833
|
+
this._onDidCompositionEnd.fire();
|
|
834
|
+
}
|
|
835
|
+
_type(source, text) {
|
|
836
|
+
if (!this._modelData || text.length === 0) {
|
|
837
|
+
return;
|
|
838
|
+
}
|
|
839
|
+
if (source === 'keyboard') {
|
|
840
|
+
this._onWillType.fire(text);
|
|
841
|
+
}
|
|
842
|
+
this._modelData.viewModel.type(text, source);
|
|
843
|
+
if (source === 'keyboard') {
|
|
844
|
+
this._onDidType.fire(text);
|
|
845
|
+
}
|
|
846
|
+
}
|
|
847
|
+
_compositionType(source, text, replacePrevCharCnt, replaceNextCharCnt, positionDelta) {
|
|
848
|
+
if (!this._modelData) {
|
|
849
|
+
return;
|
|
850
|
+
}
|
|
851
|
+
this._modelData.viewModel.compositionType(text, replacePrevCharCnt, replaceNextCharCnt, positionDelta, source);
|
|
852
|
+
}
|
|
853
|
+
_paste(source, text, pasteOnNewLine, multicursorText, mode, clipboardEvent) {
|
|
854
|
+
if (!this._modelData) {
|
|
855
|
+
return;
|
|
856
|
+
}
|
|
857
|
+
const viewModel = this._modelData.viewModel;
|
|
858
|
+
const startPosition = viewModel.getSelection().getStartPosition();
|
|
859
|
+
viewModel.paste(text, pasteOnNewLine, multicursorText, source);
|
|
860
|
+
const endPosition = viewModel.getSelection().getStartPosition();
|
|
861
|
+
if (source === 'keyboard') {
|
|
862
|
+
this._onDidPaste.fire({
|
|
863
|
+
clipboardEvent,
|
|
864
|
+
range: new Range(startPosition.lineNumber, startPosition.column, endPosition.lineNumber, endPosition.column),
|
|
865
|
+
languageId: mode
|
|
866
|
+
});
|
|
867
|
+
}
|
|
868
|
+
}
|
|
869
|
+
_cut(source) {
|
|
870
|
+
if (!this._modelData) {
|
|
871
|
+
return;
|
|
872
|
+
}
|
|
873
|
+
this._modelData.viewModel.cut(source);
|
|
874
|
+
}
|
|
875
|
+
_triggerEditorCommand(source, handlerId, payload) {
|
|
876
|
+
const command = EditorExtensionsRegistry.getEditorCommand(handlerId);
|
|
877
|
+
if (command) {
|
|
878
|
+
payload = payload || {};
|
|
879
|
+
if (isObject(payload)) {
|
|
880
|
+
payload.source = source;
|
|
881
|
+
}
|
|
882
|
+
this._instantiationService.invokeFunction((accessor) => {
|
|
883
|
+
Promise.resolve(command.runEditorCommand(accessor, this, payload)).then(undefined, onUnexpectedError);
|
|
884
|
+
});
|
|
885
|
+
return true;
|
|
886
|
+
}
|
|
887
|
+
return false;
|
|
888
|
+
}
|
|
889
|
+
_getViewModel() {
|
|
890
|
+
if (!this._modelData) {
|
|
891
|
+
return null;
|
|
892
|
+
}
|
|
893
|
+
return this._modelData.viewModel;
|
|
894
|
+
}
|
|
895
|
+
pushUndoStop() {
|
|
896
|
+
if (!this._modelData) {
|
|
897
|
+
return false;
|
|
898
|
+
}
|
|
899
|
+
if (this._configuration.options.get(104 /* EditorOption.readOnly */)) {
|
|
900
|
+
// read only editor => sorry!
|
|
901
|
+
return false;
|
|
902
|
+
}
|
|
903
|
+
this._modelData.model.pushStackElement();
|
|
904
|
+
return true;
|
|
905
|
+
}
|
|
906
|
+
popUndoStop() {
|
|
907
|
+
if (!this._modelData) {
|
|
908
|
+
return false;
|
|
909
|
+
}
|
|
910
|
+
if (this._configuration.options.get(104 /* EditorOption.readOnly */)) {
|
|
911
|
+
// read only editor => sorry!
|
|
912
|
+
return false;
|
|
913
|
+
}
|
|
914
|
+
this._modelData.model.popStackElement();
|
|
915
|
+
return true;
|
|
916
|
+
}
|
|
917
|
+
edit(edit, reason) {
|
|
918
|
+
return this.executeEdits(reason, edit.replacements.map(e => ({ range: e.range, text: e.text })), undefined);
|
|
919
|
+
}
|
|
920
|
+
executeEdits(source, edits, endCursorState) {
|
|
921
|
+
if (!this._modelData) {
|
|
922
|
+
return false;
|
|
923
|
+
}
|
|
924
|
+
if (this._configuration.options.get(104 /* EditorOption.readOnly */)) {
|
|
925
|
+
// read only editor => sorry!
|
|
926
|
+
return false;
|
|
927
|
+
}
|
|
928
|
+
let cursorStateComputer;
|
|
929
|
+
if (!endCursorState) {
|
|
930
|
+
cursorStateComputer = () => null;
|
|
931
|
+
}
|
|
932
|
+
else if (Array.isArray(endCursorState)) {
|
|
933
|
+
cursorStateComputer = () => endCursorState;
|
|
934
|
+
}
|
|
935
|
+
else {
|
|
936
|
+
cursorStateComputer = endCursorState;
|
|
937
|
+
}
|
|
938
|
+
let sourceStr;
|
|
939
|
+
let reason;
|
|
940
|
+
if (source instanceof TextModelEditSource) {
|
|
941
|
+
reason = source;
|
|
942
|
+
sourceStr = source.metadata.source;
|
|
943
|
+
}
|
|
944
|
+
else {
|
|
945
|
+
reason = EditSources.unknown({ name: sourceStr });
|
|
946
|
+
sourceStr = source;
|
|
947
|
+
}
|
|
948
|
+
this._onBeforeExecuteEdit.fire({ source: sourceStr ?? undefined });
|
|
949
|
+
this._modelData.viewModel.executeEdits(sourceStr, edits, cursorStateComputer, reason);
|
|
950
|
+
return true;
|
|
951
|
+
}
|
|
952
|
+
executeCommand(source, command) {
|
|
953
|
+
if (!this._modelData) {
|
|
954
|
+
return;
|
|
955
|
+
}
|
|
956
|
+
this._modelData.viewModel.executeCommand(command, source);
|
|
957
|
+
}
|
|
958
|
+
executeCommands(source, commands) {
|
|
959
|
+
if (!this._modelData) {
|
|
960
|
+
return;
|
|
961
|
+
}
|
|
962
|
+
this._modelData.viewModel.executeCommands(commands, source);
|
|
963
|
+
}
|
|
964
|
+
createDecorationsCollection(decorations) {
|
|
965
|
+
return new EditorDecorationsCollection(this, decorations);
|
|
966
|
+
}
|
|
967
|
+
changeDecorations(callback) {
|
|
968
|
+
if (!this._modelData) {
|
|
969
|
+
// callback will not be called
|
|
970
|
+
return null;
|
|
971
|
+
}
|
|
972
|
+
return this._modelData.model.changeDecorations(callback, this._id);
|
|
973
|
+
}
|
|
974
|
+
getLineDecorations(lineNumber) {
|
|
975
|
+
if (!this._modelData) {
|
|
976
|
+
return null;
|
|
977
|
+
}
|
|
978
|
+
const options = this._configuration.options;
|
|
979
|
+
return this._modelData.model.getLineDecorations(lineNumber, this._id, filterValidationDecorations(options), filterFontDecorations(options));
|
|
980
|
+
}
|
|
981
|
+
getDecorationsInRange(range) {
|
|
982
|
+
if (!this._modelData) {
|
|
983
|
+
return null;
|
|
984
|
+
}
|
|
985
|
+
const options = this._configuration.options;
|
|
986
|
+
return this._modelData.model.getDecorationsInRange(range, this._id, filterValidationDecorations(options), filterFontDecorations(options));
|
|
987
|
+
}
|
|
988
|
+
getFontSizeAtPosition(position) {
|
|
989
|
+
if (!this._modelData) {
|
|
990
|
+
return null;
|
|
991
|
+
}
|
|
992
|
+
return this._modelData.viewModel.getFontSizeAtPosition(position);
|
|
993
|
+
}
|
|
994
|
+
/**
|
|
995
|
+
* @deprecated
|
|
996
|
+
*/
|
|
997
|
+
deltaDecorations(oldDecorations, newDecorations) {
|
|
998
|
+
if (!this._modelData) {
|
|
999
|
+
return [];
|
|
1000
|
+
}
|
|
1001
|
+
if (oldDecorations.length === 0 && newDecorations.length === 0) {
|
|
1002
|
+
return oldDecorations;
|
|
1003
|
+
}
|
|
1004
|
+
return this._modelData.model.deltaDecorations(oldDecorations, newDecorations, this._id);
|
|
1005
|
+
}
|
|
1006
|
+
removeDecorations(decorationIds) {
|
|
1007
|
+
if (!this._modelData || decorationIds.length === 0) {
|
|
1008
|
+
return;
|
|
1009
|
+
}
|
|
1010
|
+
this._modelData.model.changeDecorations((changeAccessor) => {
|
|
1011
|
+
changeAccessor.deltaDecorations(decorationIds, []);
|
|
1012
|
+
});
|
|
1013
|
+
}
|
|
1014
|
+
removeDecorationsByType(decorationTypeKey) {
|
|
1015
|
+
// remove decorations for type and sub type
|
|
1016
|
+
const oldDecorationsIds = this._decorationTypeKeysToIds[decorationTypeKey];
|
|
1017
|
+
if (oldDecorationsIds) {
|
|
1018
|
+
this.changeDecorations(accessor => accessor.deltaDecorations(oldDecorationsIds, []));
|
|
1019
|
+
}
|
|
1020
|
+
if (this._decorationTypeKeysToIds.hasOwnProperty(decorationTypeKey)) {
|
|
1021
|
+
delete this._decorationTypeKeysToIds[decorationTypeKey];
|
|
1022
|
+
}
|
|
1023
|
+
if (this._decorationTypeSubtypes.hasOwnProperty(decorationTypeKey)) {
|
|
1024
|
+
delete this._decorationTypeSubtypes[decorationTypeKey];
|
|
1025
|
+
}
|
|
1026
|
+
}
|
|
1027
|
+
getLayoutInfo() {
|
|
1028
|
+
const options = this._configuration.options;
|
|
1029
|
+
const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
|
|
1030
|
+
return layoutInfo;
|
|
1031
|
+
}
|
|
1032
|
+
createOverviewRuler(cssClassName) {
|
|
1033
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1034
|
+
return null;
|
|
1035
|
+
}
|
|
1036
|
+
return this._modelData.view.createOverviewRuler(cssClassName);
|
|
1037
|
+
}
|
|
1038
|
+
getContainerDomNode() {
|
|
1039
|
+
return this._domElement;
|
|
1040
|
+
}
|
|
1041
|
+
getDomNode() {
|
|
1042
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1043
|
+
return null;
|
|
1044
|
+
}
|
|
1045
|
+
return this._modelData.view.domNode.domNode;
|
|
1046
|
+
}
|
|
1047
|
+
delegateVerticalScrollbarPointerDown(browserEvent) {
|
|
1048
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1049
|
+
return;
|
|
1050
|
+
}
|
|
1051
|
+
this._modelData.view.delegateVerticalScrollbarPointerDown(browserEvent);
|
|
1052
|
+
}
|
|
1053
|
+
delegateScrollFromMouseWheelEvent(browserEvent) {
|
|
1054
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1055
|
+
return;
|
|
1056
|
+
}
|
|
1057
|
+
this._modelData.view.delegateScrollFromMouseWheelEvent(browserEvent);
|
|
1058
|
+
}
|
|
1059
|
+
layout(dimension, postponeRendering = false) {
|
|
1060
|
+
this._configuration.observeContainer(dimension);
|
|
1061
|
+
if (!postponeRendering) {
|
|
1062
|
+
this.render();
|
|
1063
|
+
}
|
|
1064
|
+
}
|
|
1065
|
+
focus() {
|
|
1066
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1067
|
+
return;
|
|
1068
|
+
}
|
|
1069
|
+
this._modelData.view.focus();
|
|
1070
|
+
}
|
|
1071
|
+
hasTextFocus() {
|
|
1072
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1073
|
+
return false;
|
|
1074
|
+
}
|
|
1075
|
+
return this._modelData.view.isFocused();
|
|
1076
|
+
}
|
|
1077
|
+
hasWidgetFocus() {
|
|
1078
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1079
|
+
return false;
|
|
1080
|
+
}
|
|
1081
|
+
return this._modelData.view.isWidgetFocused();
|
|
1082
|
+
}
|
|
1083
|
+
addContentWidget(widget) {
|
|
1084
|
+
const widgetData = {
|
|
1085
|
+
widget: widget,
|
|
1086
|
+
position: widget.getPosition()
|
|
1087
|
+
};
|
|
1088
|
+
if (this._contentWidgets.hasOwnProperty(widget.getId())) {
|
|
1089
|
+
console.warn('Overwriting a content widget with the same id:' + widget.getId());
|
|
1090
|
+
}
|
|
1091
|
+
this._contentWidgets[widget.getId()] = widgetData;
|
|
1092
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1093
|
+
this._modelData.view.addContentWidget(widgetData);
|
|
1094
|
+
}
|
|
1095
|
+
}
|
|
1096
|
+
layoutContentWidget(widget) {
|
|
1097
|
+
const widgetId = widget.getId();
|
|
1098
|
+
if (this._contentWidgets.hasOwnProperty(widgetId)) {
|
|
1099
|
+
const widgetData = this._contentWidgets[widgetId];
|
|
1100
|
+
widgetData.position = widget.getPosition();
|
|
1101
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1102
|
+
this._modelData.view.layoutContentWidget(widgetData);
|
|
1103
|
+
}
|
|
1104
|
+
}
|
|
1105
|
+
}
|
|
1106
|
+
removeContentWidget(widget) {
|
|
1107
|
+
const widgetId = widget.getId();
|
|
1108
|
+
if (this._contentWidgets.hasOwnProperty(widgetId)) {
|
|
1109
|
+
const widgetData = this._contentWidgets[widgetId];
|
|
1110
|
+
delete this._contentWidgets[widgetId];
|
|
1111
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1112
|
+
this._modelData.view.removeContentWidget(widgetData);
|
|
1113
|
+
}
|
|
1114
|
+
}
|
|
1115
|
+
}
|
|
1116
|
+
addOverlayWidget(widget) {
|
|
1117
|
+
const widgetData = {
|
|
1118
|
+
widget: widget,
|
|
1119
|
+
position: widget.getPosition()
|
|
1120
|
+
};
|
|
1121
|
+
if (this._overlayWidgets.hasOwnProperty(widget.getId())) {
|
|
1122
|
+
console.warn('Overwriting an overlay widget with the same id.');
|
|
1123
|
+
}
|
|
1124
|
+
this._overlayWidgets[widget.getId()] = widgetData;
|
|
1125
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1126
|
+
this._modelData.view.addOverlayWidget(widgetData);
|
|
1127
|
+
}
|
|
1128
|
+
}
|
|
1129
|
+
layoutOverlayWidget(widget) {
|
|
1130
|
+
const widgetId = widget.getId();
|
|
1131
|
+
if (this._overlayWidgets.hasOwnProperty(widgetId)) {
|
|
1132
|
+
const widgetData = this._overlayWidgets[widgetId];
|
|
1133
|
+
widgetData.position = widget.getPosition();
|
|
1134
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1135
|
+
this._modelData.view.layoutOverlayWidget(widgetData);
|
|
1136
|
+
}
|
|
1137
|
+
}
|
|
1138
|
+
}
|
|
1139
|
+
removeOverlayWidget(widget) {
|
|
1140
|
+
const widgetId = widget.getId();
|
|
1141
|
+
if (this._overlayWidgets.hasOwnProperty(widgetId)) {
|
|
1142
|
+
const widgetData = this._overlayWidgets[widgetId];
|
|
1143
|
+
delete this._overlayWidgets[widgetId];
|
|
1144
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1145
|
+
this._modelData.view.removeOverlayWidget(widgetData);
|
|
1146
|
+
}
|
|
1147
|
+
}
|
|
1148
|
+
}
|
|
1149
|
+
addGlyphMarginWidget(widget) {
|
|
1150
|
+
const widgetData = {
|
|
1151
|
+
widget: widget,
|
|
1152
|
+
position: widget.getPosition()
|
|
1153
|
+
};
|
|
1154
|
+
if (this._glyphMarginWidgets.hasOwnProperty(widget.getId())) {
|
|
1155
|
+
console.warn('Overwriting a glyph margin widget with the same id.');
|
|
1156
|
+
}
|
|
1157
|
+
this._glyphMarginWidgets[widget.getId()] = widgetData;
|
|
1158
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1159
|
+
this._modelData.view.addGlyphMarginWidget(widgetData);
|
|
1160
|
+
}
|
|
1161
|
+
}
|
|
1162
|
+
layoutGlyphMarginWidget(widget) {
|
|
1163
|
+
const widgetId = widget.getId();
|
|
1164
|
+
if (this._glyphMarginWidgets.hasOwnProperty(widgetId)) {
|
|
1165
|
+
const widgetData = this._glyphMarginWidgets[widgetId];
|
|
1166
|
+
widgetData.position = widget.getPosition();
|
|
1167
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1168
|
+
this._modelData.view.layoutGlyphMarginWidget(widgetData);
|
|
1169
|
+
}
|
|
1170
|
+
}
|
|
1171
|
+
}
|
|
1172
|
+
removeGlyphMarginWidget(widget) {
|
|
1173
|
+
const widgetId = widget.getId();
|
|
1174
|
+
if (this._glyphMarginWidgets.hasOwnProperty(widgetId)) {
|
|
1175
|
+
const widgetData = this._glyphMarginWidgets[widgetId];
|
|
1176
|
+
delete this._glyphMarginWidgets[widgetId];
|
|
1177
|
+
if (this._modelData && this._modelData.hasRealView) {
|
|
1178
|
+
this._modelData.view.removeGlyphMarginWidget(widgetData);
|
|
1179
|
+
}
|
|
1180
|
+
}
|
|
1181
|
+
}
|
|
1182
|
+
changeViewZones(callback) {
|
|
1183
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1184
|
+
return;
|
|
1185
|
+
}
|
|
1186
|
+
this._modelData.view.change(callback);
|
|
1187
|
+
}
|
|
1188
|
+
getTargetAtClientPoint(clientX, clientY) {
|
|
1189
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1190
|
+
return null;
|
|
1191
|
+
}
|
|
1192
|
+
return this._modelData.view.getTargetAtClientPoint(clientX, clientY);
|
|
1193
|
+
}
|
|
1194
|
+
getScrolledVisiblePosition(rawPosition) {
|
|
1195
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1196
|
+
return null;
|
|
1197
|
+
}
|
|
1198
|
+
const position = this._modelData.model.validatePosition(rawPosition);
|
|
1199
|
+
const options = this._configuration.options;
|
|
1200
|
+
const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
|
|
1201
|
+
const top = CodeEditorWidget_1._getVerticalOffsetForPosition(this._modelData, position.lineNumber, position.column) - this.getScrollTop();
|
|
1202
|
+
const left = this._modelData.view.getOffsetForColumn(position.lineNumber, position.column) + layoutInfo.glyphMarginWidth + layoutInfo.lineNumbersWidth + layoutInfo.decorationsWidth - this.getScrollLeft();
|
|
1203
|
+
const height = this.getLineHeightForPosition(position);
|
|
1204
|
+
return {
|
|
1205
|
+
top: top,
|
|
1206
|
+
left: left,
|
|
1207
|
+
height
|
|
1208
|
+
};
|
|
1209
|
+
}
|
|
1210
|
+
getOffsetForColumn(lineNumber, column) {
|
|
1211
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1212
|
+
return -1;
|
|
1213
|
+
}
|
|
1214
|
+
return this._modelData.view.getOffsetForColumn(lineNumber, column);
|
|
1215
|
+
}
|
|
1216
|
+
render(forceRedraw = false) {
|
|
1217
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1218
|
+
return;
|
|
1219
|
+
}
|
|
1220
|
+
this._modelData.viewModel.batchEvents(() => {
|
|
1221
|
+
this._modelData.view.render(true, forceRedraw);
|
|
1222
|
+
});
|
|
1223
|
+
}
|
|
1224
|
+
setAriaOptions(options) {
|
|
1225
|
+
if (!this._modelData || !this._modelData.hasRealView) {
|
|
1226
|
+
return;
|
|
1227
|
+
}
|
|
1228
|
+
this._modelData.view.setAriaOptions(options);
|
|
1229
|
+
}
|
|
1230
|
+
applyFontInfo(target) {
|
|
1231
|
+
applyFontInfo(target, this._configuration.options.get(59 /* EditorOption.fontInfo */));
|
|
1232
|
+
}
|
|
1233
|
+
setBanner(domNode, domNodeHeight) {
|
|
1234
|
+
if (this._bannerDomNode && this._domElement.contains(this._bannerDomNode)) {
|
|
1235
|
+
this._bannerDomNode.remove();
|
|
1236
|
+
}
|
|
1237
|
+
this._bannerDomNode = domNode;
|
|
1238
|
+
this._configuration.setReservedHeight(domNode ? domNodeHeight : 0);
|
|
1239
|
+
if (this._bannerDomNode) {
|
|
1240
|
+
this._domElement.prepend(this._bannerDomNode);
|
|
1241
|
+
}
|
|
1242
|
+
}
|
|
1243
|
+
_attachModel(model) {
|
|
1244
|
+
if (!model) {
|
|
1245
|
+
this._modelData = null;
|
|
1246
|
+
return;
|
|
1247
|
+
}
|
|
1248
|
+
const listenersToRemove = [];
|
|
1249
|
+
this._domElement.setAttribute('data-mode-id', model.getLanguageId());
|
|
1250
|
+
this._configuration.setIsDominatedByLongLines(model.isDominatedByLongLines());
|
|
1251
|
+
this._configuration.setModelLineCount(model.getLineCount());
|
|
1252
|
+
const attachedView = model.onBeforeAttached();
|
|
1253
|
+
const viewModel = new ViewModel(this._id, this._configuration, model, DOMLineBreaksComputerFactory.create(getWindow(this._domElement)), MonospaceLineBreaksComputerFactory.create(this._configuration.options), (callback) => scheduleAtNextAnimationFrame(getWindow(this._domElement), callback), this.languageConfigurationService, this._themeService, attachedView, {
|
|
1254
|
+
batchChanges: (cb) => {
|
|
1255
|
+
try {
|
|
1256
|
+
this._beginUpdate();
|
|
1257
|
+
return cb();
|
|
1258
|
+
}
|
|
1259
|
+
finally {
|
|
1260
|
+
this._endUpdate();
|
|
1261
|
+
}
|
|
1262
|
+
},
|
|
1263
|
+
});
|
|
1264
|
+
// Someone might destroy the model from under the editor, so prevent any exceptions by setting a null model
|
|
1265
|
+
listenersToRemove.push(model.onWillDispose(() => this.setModel(null)));
|
|
1266
|
+
listenersToRemove.push(viewModel.onEvent((e) => {
|
|
1267
|
+
switch (e.kind) {
|
|
1268
|
+
case 0 /* OutgoingViewModelEventKind.ContentSizeChanged */:
|
|
1269
|
+
this._onDidContentSizeChange.fire(e);
|
|
1270
|
+
break;
|
|
1271
|
+
case 1 /* OutgoingViewModelEventKind.FocusChanged */:
|
|
1272
|
+
this._editorTextFocus.setValue(e.hasFocus);
|
|
1273
|
+
break;
|
|
1274
|
+
case 2 /* OutgoingViewModelEventKind.WidgetFocusChanged */:
|
|
1275
|
+
this._editorWidgetFocus.setValue(e.hasFocus);
|
|
1276
|
+
break;
|
|
1277
|
+
case 3 /* OutgoingViewModelEventKind.ScrollChanged */:
|
|
1278
|
+
this._onDidScrollChange.fire(e);
|
|
1279
|
+
break;
|
|
1280
|
+
case 4 /* OutgoingViewModelEventKind.ViewZonesChanged */:
|
|
1281
|
+
this._onDidChangeViewZones.fire();
|
|
1282
|
+
break;
|
|
1283
|
+
case 5 /* OutgoingViewModelEventKind.HiddenAreasChanged */:
|
|
1284
|
+
this._onDidChangeHiddenAreas.fire();
|
|
1285
|
+
break;
|
|
1286
|
+
case 6 /* OutgoingViewModelEventKind.ReadOnlyEditAttempt */:
|
|
1287
|
+
this._onDidAttemptReadOnlyEdit.fire();
|
|
1288
|
+
break;
|
|
1289
|
+
case 7 /* OutgoingViewModelEventKind.CursorStateChanged */: {
|
|
1290
|
+
if (e.reachedMaxCursorCount) {
|
|
1291
|
+
const multiCursorLimit = this.getOption(89 /* EditorOption.multiCursorLimit */);
|
|
1292
|
+
const message = localize(83, "The number of cursors has been limited to {0}. Consider using [find and replace](https://code.visualstudio.com/docs/editor/codebasics#_find-and-replace) for larger changes or increase the editor multi cursor limit setting.", multiCursorLimit);
|
|
1293
|
+
this._notificationService.prompt(Severity.Warning, message, [
|
|
1294
|
+
{
|
|
1295
|
+
label: 'Find and Replace',
|
|
1296
|
+
run: () => {
|
|
1297
|
+
this._commandService.executeCommand('editor.action.startFindReplaceAction');
|
|
1298
|
+
}
|
|
1299
|
+
},
|
|
1300
|
+
{
|
|
1301
|
+
label: localize(84, 'Increase Multi Cursor Limit'),
|
|
1302
|
+
run: () => {
|
|
1303
|
+
this._commandService.executeCommand('workbench.action.openSettings2', {
|
|
1304
|
+
query: 'editor.multiCursorLimit'
|
|
1305
|
+
});
|
|
1306
|
+
}
|
|
1307
|
+
}
|
|
1308
|
+
]);
|
|
1309
|
+
}
|
|
1310
|
+
const positions = [];
|
|
1311
|
+
for (let i = 0, len = e.selections.length; i < len; i++) {
|
|
1312
|
+
positions[i] = e.selections[i].getPosition();
|
|
1313
|
+
}
|
|
1314
|
+
const e1 = {
|
|
1315
|
+
position: positions[0],
|
|
1316
|
+
secondaryPositions: positions.slice(1),
|
|
1317
|
+
reason: e.reason,
|
|
1318
|
+
source: e.source
|
|
1319
|
+
};
|
|
1320
|
+
this._onDidChangeCursorPosition.fire(e1);
|
|
1321
|
+
const e2 = {
|
|
1322
|
+
selection: e.selections[0],
|
|
1323
|
+
secondarySelections: e.selections.slice(1),
|
|
1324
|
+
modelVersionId: e.modelVersionId,
|
|
1325
|
+
oldSelections: e.oldSelections,
|
|
1326
|
+
oldModelVersionId: e.oldModelVersionId,
|
|
1327
|
+
source: e.source,
|
|
1328
|
+
reason: e.reason
|
|
1329
|
+
};
|
|
1330
|
+
this._onDidChangeCursorSelection.fire(e2);
|
|
1331
|
+
break;
|
|
1332
|
+
}
|
|
1333
|
+
case 8 /* OutgoingViewModelEventKind.ModelDecorationsChanged */:
|
|
1334
|
+
this._onDidChangeModelDecorations.fire(e.event);
|
|
1335
|
+
break;
|
|
1336
|
+
case 9 /* OutgoingViewModelEventKind.ModelLanguageChanged */:
|
|
1337
|
+
this._domElement.setAttribute('data-mode-id', model.getLanguageId());
|
|
1338
|
+
this._onDidChangeModelLanguage.fire(e.event);
|
|
1339
|
+
break;
|
|
1340
|
+
case 10 /* OutgoingViewModelEventKind.ModelLanguageConfigurationChanged */:
|
|
1341
|
+
this._onDidChangeModelLanguageConfiguration.fire(e.event);
|
|
1342
|
+
break;
|
|
1343
|
+
case 11 /* OutgoingViewModelEventKind.ModelContentChanged */:
|
|
1344
|
+
this._onDidChangeModelContent.fire(e.event);
|
|
1345
|
+
break;
|
|
1346
|
+
case 12 /* OutgoingViewModelEventKind.ModelOptionsChanged */:
|
|
1347
|
+
this._onDidChangeModelOptions.fire(e.event);
|
|
1348
|
+
break;
|
|
1349
|
+
case 13 /* OutgoingViewModelEventKind.ModelTokensChanged */:
|
|
1350
|
+
this._onDidChangeModelTokens.fire(e.event);
|
|
1351
|
+
break;
|
|
1352
|
+
case 14 /* OutgoingViewModelEventKind.ModelLineHeightChanged */:
|
|
1353
|
+
this._onDidChangeLineHeight.fire(e.event);
|
|
1354
|
+
break;
|
|
1355
|
+
case 15 /* OutgoingViewModelEventKind.ModelFontChangedEvent */:
|
|
1356
|
+
this._onDidChangeFont.fire(e.event);
|
|
1357
|
+
break;
|
|
1358
|
+
}
|
|
1359
|
+
}));
|
|
1360
|
+
const [view, hasRealView] = this._createView(viewModel);
|
|
1361
|
+
if (hasRealView) {
|
|
1362
|
+
this._domElement.appendChild(view.domNode.domNode);
|
|
1363
|
+
let keys = Object.keys(this._contentWidgets);
|
|
1364
|
+
for (let i = 0, len = keys.length; i < len; i++) {
|
|
1365
|
+
const widgetId = keys[i];
|
|
1366
|
+
view.addContentWidget(this._contentWidgets[widgetId]);
|
|
1367
|
+
}
|
|
1368
|
+
keys = Object.keys(this._overlayWidgets);
|
|
1369
|
+
for (let i = 0, len = keys.length; i < len; i++) {
|
|
1370
|
+
const widgetId = keys[i];
|
|
1371
|
+
view.addOverlayWidget(this._overlayWidgets[widgetId]);
|
|
1372
|
+
}
|
|
1373
|
+
keys = Object.keys(this._glyphMarginWidgets);
|
|
1374
|
+
for (let i = 0, len = keys.length; i < len; i++) {
|
|
1375
|
+
const widgetId = keys[i];
|
|
1376
|
+
view.addGlyphMarginWidget(this._glyphMarginWidgets[widgetId]);
|
|
1377
|
+
}
|
|
1378
|
+
view.render(false, true);
|
|
1379
|
+
view.domNode.domNode.setAttribute('data-uri', model.uri.toString());
|
|
1380
|
+
}
|
|
1381
|
+
this._modelData = new ModelData(model, viewModel, view, hasRealView, listenersToRemove, attachedView);
|
|
1382
|
+
}
|
|
1383
|
+
_createView(viewModel) {
|
|
1384
|
+
let commandDelegate;
|
|
1385
|
+
if (this.isSimpleWidget) {
|
|
1386
|
+
commandDelegate = {
|
|
1387
|
+
paste: (text, pasteOnNewLine, multicursorText, mode) => {
|
|
1388
|
+
this._paste('keyboard', text, pasteOnNewLine, multicursorText, mode);
|
|
1389
|
+
},
|
|
1390
|
+
type: (text) => {
|
|
1391
|
+
this._type('keyboard', text);
|
|
1392
|
+
},
|
|
1393
|
+
compositionType: (text, replacePrevCharCnt, replaceNextCharCnt, positionDelta) => {
|
|
1394
|
+
this._compositionType('keyboard', text, replacePrevCharCnt, replaceNextCharCnt, positionDelta);
|
|
1395
|
+
},
|
|
1396
|
+
startComposition: () => {
|
|
1397
|
+
this._startComposition();
|
|
1398
|
+
},
|
|
1399
|
+
endComposition: () => {
|
|
1400
|
+
this._endComposition('keyboard');
|
|
1401
|
+
},
|
|
1402
|
+
cut: () => {
|
|
1403
|
+
this._cut('keyboard');
|
|
1404
|
+
}
|
|
1405
|
+
};
|
|
1406
|
+
}
|
|
1407
|
+
else {
|
|
1408
|
+
commandDelegate = {
|
|
1409
|
+
paste: (text, pasteOnNewLine, multicursorText, mode) => {
|
|
1410
|
+
const payload = { text, pasteOnNewLine, multicursorText, mode };
|
|
1411
|
+
this._commandService.executeCommand("paste" /* editorCommon.Handler.Paste */, payload);
|
|
1412
|
+
},
|
|
1413
|
+
type: (text) => {
|
|
1414
|
+
const payload = { text };
|
|
1415
|
+
this._commandService.executeCommand("type" /* editorCommon.Handler.Type */, payload);
|
|
1416
|
+
},
|
|
1417
|
+
compositionType: (text, replacePrevCharCnt, replaceNextCharCnt, positionDelta) => {
|
|
1418
|
+
// Try if possible to go through the existing `replacePreviousChar` command
|
|
1419
|
+
if (replaceNextCharCnt || positionDelta) {
|
|
1420
|
+
// must be handled through the new command
|
|
1421
|
+
const payload = { text, replacePrevCharCnt, replaceNextCharCnt, positionDelta };
|
|
1422
|
+
this._commandService.executeCommand("compositionType" /* editorCommon.Handler.CompositionType */, payload);
|
|
1423
|
+
}
|
|
1424
|
+
else {
|
|
1425
|
+
const payload = { text, replaceCharCnt: replacePrevCharCnt };
|
|
1426
|
+
this._commandService.executeCommand("replacePreviousChar" /* editorCommon.Handler.ReplacePreviousChar */, payload);
|
|
1427
|
+
}
|
|
1428
|
+
},
|
|
1429
|
+
startComposition: () => {
|
|
1430
|
+
this._commandService.executeCommand("compositionStart" /* editorCommon.Handler.CompositionStart */, {});
|
|
1431
|
+
},
|
|
1432
|
+
endComposition: () => {
|
|
1433
|
+
this._commandService.executeCommand("compositionEnd" /* editorCommon.Handler.CompositionEnd */, {});
|
|
1434
|
+
},
|
|
1435
|
+
cut: () => {
|
|
1436
|
+
this._commandService.executeCommand("cut" /* editorCommon.Handler.Cut */, {});
|
|
1437
|
+
}
|
|
1438
|
+
};
|
|
1439
|
+
}
|
|
1440
|
+
const viewUserInputEvents = new ViewUserInputEvents(viewModel.coordinatesConverter);
|
|
1441
|
+
viewUserInputEvents.onKeyDown = (e) => this._onKeyDown.fire(e);
|
|
1442
|
+
viewUserInputEvents.onKeyUp = (e) => this._onKeyUp.fire(e);
|
|
1443
|
+
viewUserInputEvents.onContextMenu = (e) => this._onContextMenu.fire(e);
|
|
1444
|
+
viewUserInputEvents.onMouseMove = (e) => this._onMouseMove.fire(e);
|
|
1445
|
+
viewUserInputEvents.onMouseLeave = (e) => this._onMouseLeave.fire(e);
|
|
1446
|
+
viewUserInputEvents.onMouseDown = (e) => this._onMouseDown.fire(e);
|
|
1447
|
+
viewUserInputEvents.onMouseUp = (e) => this._onMouseUp.fire(e);
|
|
1448
|
+
viewUserInputEvents.onMouseDrag = (e) => this._onMouseDrag.fire(e);
|
|
1449
|
+
viewUserInputEvents.onMouseDrop = (e) => this._onMouseDrop.fire(e);
|
|
1450
|
+
viewUserInputEvents.onMouseDropCanceled = (e) => this._onMouseDropCanceled.fire(e);
|
|
1451
|
+
viewUserInputEvents.onMouseWheel = (e) => this._onMouseWheel.fire(e);
|
|
1452
|
+
const view = new View(this._domElement, this.getId(), commandDelegate, this._configuration, this._themeService.getColorTheme(), viewModel, viewUserInputEvents, this._overflowWidgetsDomNode, this._instantiationService);
|
|
1453
|
+
return [view, true];
|
|
1454
|
+
}
|
|
1455
|
+
_postDetachModelCleanup(detachedModel) {
|
|
1456
|
+
detachedModel?.removeAllDecorationsWithOwnerId(this._id);
|
|
1457
|
+
}
|
|
1458
|
+
_detachModel() {
|
|
1459
|
+
this._contributionsDisposable?.dispose();
|
|
1460
|
+
this._contributionsDisposable = undefined;
|
|
1461
|
+
if (!this._modelData) {
|
|
1462
|
+
return null;
|
|
1463
|
+
}
|
|
1464
|
+
const model = this._modelData.model;
|
|
1465
|
+
const removeDomNode = this._modelData.hasRealView ? this._modelData.view.domNode.domNode : null;
|
|
1466
|
+
this._modelData.dispose();
|
|
1467
|
+
this._modelData = null;
|
|
1468
|
+
this._domElement.removeAttribute('data-mode-id');
|
|
1469
|
+
if (removeDomNode && this._domElement.contains(removeDomNode)) {
|
|
1470
|
+
removeDomNode.remove();
|
|
1471
|
+
}
|
|
1472
|
+
if (this._bannerDomNode && this._domElement.contains(this._bannerDomNode)) {
|
|
1473
|
+
this._bannerDomNode.remove();
|
|
1474
|
+
}
|
|
1475
|
+
return model;
|
|
1476
|
+
}
|
|
1477
|
+
_removeDecorationType(key) {
|
|
1478
|
+
this._codeEditorService.removeDecorationType(key);
|
|
1479
|
+
}
|
|
1480
|
+
hasModel() {
|
|
1481
|
+
return (this._modelData !== null);
|
|
1482
|
+
}
|
|
1483
|
+
showDropIndicatorAt(position) {
|
|
1484
|
+
const newDecorations = [{
|
|
1485
|
+
range: new Range(position.lineNumber, position.column, position.lineNumber, position.column),
|
|
1486
|
+
options: CodeEditorWidget_1.dropIntoEditorDecorationOptions
|
|
1487
|
+
}];
|
|
1488
|
+
this._dropIntoEditorDecorations.set(newDecorations);
|
|
1489
|
+
this.revealPosition(position, 1 /* editorCommon.ScrollType.Immediate */);
|
|
1490
|
+
}
|
|
1491
|
+
removeDropIndicator() {
|
|
1492
|
+
this._dropIntoEditorDecorations.clear();
|
|
1493
|
+
}
|
|
1494
|
+
_beginUpdate() {
|
|
1495
|
+
this._updateCounter++;
|
|
1496
|
+
if (this._updateCounter === 1) {
|
|
1497
|
+
this._onBeginUpdate.fire();
|
|
1498
|
+
}
|
|
1499
|
+
}
|
|
1500
|
+
_endUpdate() {
|
|
1501
|
+
this._updateCounter--;
|
|
1502
|
+
if (this._updateCounter === 0) {
|
|
1503
|
+
this._onEndUpdate.fire();
|
|
1504
|
+
}
|
|
1505
|
+
}
|
|
1506
|
+
};
|
|
1507
|
+
CodeEditorWidget = CodeEditorWidget_1 = __decorate([
|
|
1508
|
+
__param(3, IInstantiationService),
|
|
1509
|
+
__param(4, ICodeEditorService),
|
|
1510
|
+
__param(5, ICommandService),
|
|
1511
|
+
__param(6, IContextKeyService),
|
|
1512
|
+
__param(7, IThemeService),
|
|
1513
|
+
__param(8, INotificationService),
|
|
1514
|
+
__param(9, IAccessibilityService),
|
|
1515
|
+
__param(10, ILanguageConfigurationService),
|
|
1516
|
+
__param(11, ILanguageFeaturesService)
|
|
1517
|
+
], CodeEditorWidget);
|
|
1518
|
+
let EDITOR_ID = 0;
|
|
1519
|
+
class ModelData {
|
|
1520
|
+
constructor(model, viewModel, view, hasRealView, listenersToRemove, attachedView) {
|
|
1521
|
+
this.model = model;
|
|
1522
|
+
this.viewModel = viewModel;
|
|
1523
|
+
this.view = view;
|
|
1524
|
+
this.hasRealView = hasRealView;
|
|
1525
|
+
this.listenersToRemove = listenersToRemove;
|
|
1526
|
+
this.attachedView = attachedView;
|
|
1527
|
+
}
|
|
1528
|
+
dispose() {
|
|
1529
|
+
dispose(this.listenersToRemove);
|
|
1530
|
+
this.model.onBeforeDetached(this.attachedView);
|
|
1531
|
+
if (this.hasRealView) {
|
|
1532
|
+
this.view.dispose();
|
|
1533
|
+
}
|
|
1534
|
+
this.viewModel.dispose();
|
|
1535
|
+
}
|
|
1536
|
+
}
|
|
1537
|
+
class BooleanEventEmitter extends Disposable {
|
|
1538
|
+
constructor(_emitterOptions) {
|
|
1539
|
+
super();
|
|
1540
|
+
this._emitterOptions = _emitterOptions;
|
|
1541
|
+
this._onDidChangeToTrue = this._register(new Emitter(this._emitterOptions));
|
|
1542
|
+
this.onDidChangeToTrue = this._onDidChangeToTrue.event;
|
|
1543
|
+
this._onDidChangeToFalse = this._register(new Emitter(this._emitterOptions));
|
|
1544
|
+
this.onDidChangeToFalse = this._onDidChangeToFalse.event;
|
|
1545
|
+
this._value = 0 /* BooleanEventValue.NotSet */;
|
|
1546
|
+
}
|
|
1547
|
+
setValue(_value) {
|
|
1548
|
+
const value = (_value ? 2 /* BooleanEventValue.True */ : 1 /* BooleanEventValue.False */);
|
|
1549
|
+
if (this._value === value) {
|
|
1550
|
+
return;
|
|
1551
|
+
}
|
|
1552
|
+
this._value = value;
|
|
1553
|
+
if (this._value === 2 /* BooleanEventValue.True */) {
|
|
1554
|
+
this._onDidChangeToTrue.fire();
|
|
1555
|
+
}
|
|
1556
|
+
else if (this._value === 1 /* BooleanEventValue.False */) {
|
|
1557
|
+
this._onDidChangeToFalse.fire();
|
|
1558
|
+
}
|
|
1559
|
+
}
|
|
1560
|
+
}
|
|
1561
|
+
/**
|
|
1562
|
+
* A regular event emitter that also makes sure contributions are instantiated if necessary
|
|
1563
|
+
*/
|
|
1564
|
+
class InteractionEmitter extends Emitter {
|
|
1565
|
+
constructor(_contributions, deliveryQueue) {
|
|
1566
|
+
super({ deliveryQueue });
|
|
1567
|
+
this._contributions = _contributions;
|
|
1568
|
+
}
|
|
1569
|
+
fire(event) {
|
|
1570
|
+
this._contributions.onBeforeInteractionEvent();
|
|
1571
|
+
super.fire(event);
|
|
1572
|
+
}
|
|
1573
|
+
}
|
|
1574
|
+
class EditorContextKeysManager extends Disposable {
|
|
1575
|
+
constructor(editor, contextKeyService) {
|
|
1576
|
+
super();
|
|
1577
|
+
this._editor = editor;
|
|
1578
|
+
contextKeyService.createKey('editorId', editor.getId());
|
|
1579
|
+
this._editorSimpleInput = EditorContextKeys.editorSimpleInput.bindTo(contextKeyService);
|
|
1580
|
+
this._editorFocus = EditorContextKeys.focus.bindTo(contextKeyService);
|
|
1581
|
+
this._textInputFocus = EditorContextKeys.textInputFocus.bindTo(contextKeyService);
|
|
1582
|
+
this._editorTextFocus = EditorContextKeys.editorTextFocus.bindTo(contextKeyService);
|
|
1583
|
+
this._tabMovesFocus = EditorContextKeys.tabMovesFocus.bindTo(contextKeyService);
|
|
1584
|
+
this._editorReadonly = EditorContextKeys.readOnly.bindTo(contextKeyService);
|
|
1585
|
+
this._inDiffEditor = EditorContextKeys.inDiffEditor.bindTo(contextKeyService);
|
|
1586
|
+
this._editorColumnSelection = EditorContextKeys.columnSelection.bindTo(contextKeyService);
|
|
1587
|
+
this._hasMultipleSelections = EditorContextKeys.hasMultipleSelections.bindTo(contextKeyService);
|
|
1588
|
+
this._hasNonEmptySelection = EditorContextKeys.hasNonEmptySelection.bindTo(contextKeyService);
|
|
1589
|
+
this._canUndo = EditorContextKeys.canUndo.bindTo(contextKeyService);
|
|
1590
|
+
this._canRedo = EditorContextKeys.canRedo.bindTo(contextKeyService);
|
|
1591
|
+
this._register(this._editor.onDidChangeConfiguration(() => this._updateFromConfig()));
|
|
1592
|
+
this._register(this._editor.onDidChangeCursorSelection(() => this._updateFromSelection()));
|
|
1593
|
+
this._register(this._editor.onDidFocusEditorWidget(() => this._updateFromFocus()));
|
|
1594
|
+
this._register(this._editor.onDidBlurEditorWidget(() => this._updateFromFocus()));
|
|
1595
|
+
this._register(this._editor.onDidFocusEditorText(() => this._updateFromFocus()));
|
|
1596
|
+
this._register(this._editor.onDidBlurEditorText(() => this._updateFromFocus()));
|
|
1597
|
+
this._register(this._editor.onDidChangeModel(() => this._updateFromModel()));
|
|
1598
|
+
this._register(this._editor.onDidChangeConfiguration(() => this._updateFromModel()));
|
|
1599
|
+
this._register(TabFocus.onDidChangeTabFocus((tabFocusMode) => this._tabMovesFocus.set(tabFocusMode)));
|
|
1600
|
+
this._updateFromConfig();
|
|
1601
|
+
this._updateFromSelection();
|
|
1602
|
+
this._updateFromFocus();
|
|
1603
|
+
this._updateFromModel();
|
|
1604
|
+
this._editorSimpleInput.set(this._editor.isSimpleWidget);
|
|
1605
|
+
}
|
|
1606
|
+
_updateFromConfig() {
|
|
1607
|
+
const options = this._editor.getOptions();
|
|
1608
|
+
this._tabMovesFocus.set(options.get(164 /* EditorOption.tabFocusMode */) || TabFocus.getTabFocusMode());
|
|
1609
|
+
this._editorReadonly.set(options.get(104 /* EditorOption.readOnly */));
|
|
1610
|
+
this._inDiffEditor.set(options.get(70 /* EditorOption.inDiffEditor */));
|
|
1611
|
+
this._editorColumnSelection.set(options.get(28 /* EditorOption.columnSelection */));
|
|
1612
|
+
}
|
|
1613
|
+
_updateFromSelection() {
|
|
1614
|
+
const selections = this._editor.getSelections();
|
|
1615
|
+
if (!selections) {
|
|
1616
|
+
this._hasMultipleSelections.reset();
|
|
1617
|
+
this._hasNonEmptySelection.reset();
|
|
1618
|
+
}
|
|
1619
|
+
else {
|
|
1620
|
+
this._hasMultipleSelections.set(selections.length > 1);
|
|
1621
|
+
this._hasNonEmptySelection.set(selections.some(s => !s.isEmpty()));
|
|
1622
|
+
}
|
|
1623
|
+
}
|
|
1624
|
+
_updateFromFocus() {
|
|
1625
|
+
this._editorFocus.set(this._editor.hasWidgetFocus() && !this._editor.isSimpleWidget);
|
|
1626
|
+
this._editorTextFocus.set(this._editor.hasTextFocus() && !this._editor.isSimpleWidget);
|
|
1627
|
+
this._textInputFocus.set(this._editor.hasTextFocus());
|
|
1628
|
+
}
|
|
1629
|
+
_updateFromModel() {
|
|
1630
|
+
const model = this._editor.getModel();
|
|
1631
|
+
this._canUndo.set(Boolean(model && model.canUndo()));
|
|
1632
|
+
this._canRedo.set(Boolean(model && model.canRedo()));
|
|
1633
|
+
}
|
|
1634
|
+
}
|
|
1635
|
+
class EditorModeContext extends Disposable {
|
|
1636
|
+
constructor(_editor, _contextKeyService, _languageFeaturesService) {
|
|
1637
|
+
super();
|
|
1638
|
+
this._editor = _editor;
|
|
1639
|
+
this._contextKeyService = _contextKeyService;
|
|
1640
|
+
this._languageFeaturesService = _languageFeaturesService;
|
|
1641
|
+
this._langId = EditorContextKeys.languageId.bindTo(_contextKeyService);
|
|
1642
|
+
this._hasCompletionItemProvider = EditorContextKeys.hasCompletionItemProvider.bindTo(_contextKeyService);
|
|
1643
|
+
this._hasCodeActionsProvider = EditorContextKeys.hasCodeActionsProvider.bindTo(_contextKeyService);
|
|
1644
|
+
this._hasCodeLensProvider = EditorContextKeys.hasCodeLensProvider.bindTo(_contextKeyService);
|
|
1645
|
+
this._hasDefinitionProvider = EditorContextKeys.hasDefinitionProvider.bindTo(_contextKeyService);
|
|
1646
|
+
this._hasDeclarationProvider = EditorContextKeys.hasDeclarationProvider.bindTo(_contextKeyService);
|
|
1647
|
+
this._hasImplementationProvider = EditorContextKeys.hasImplementationProvider.bindTo(_contextKeyService);
|
|
1648
|
+
this._hasTypeDefinitionProvider = EditorContextKeys.hasTypeDefinitionProvider.bindTo(_contextKeyService);
|
|
1649
|
+
this._hasHoverProvider = EditorContextKeys.hasHoverProvider.bindTo(_contextKeyService);
|
|
1650
|
+
this._hasDocumentHighlightProvider = EditorContextKeys.hasDocumentHighlightProvider.bindTo(_contextKeyService);
|
|
1651
|
+
this._hasDocumentSymbolProvider = EditorContextKeys.hasDocumentSymbolProvider.bindTo(_contextKeyService);
|
|
1652
|
+
this._hasReferenceProvider = EditorContextKeys.hasReferenceProvider.bindTo(_contextKeyService);
|
|
1653
|
+
this._hasRenameProvider = EditorContextKeys.hasRenameProvider.bindTo(_contextKeyService);
|
|
1654
|
+
this._hasSignatureHelpProvider = EditorContextKeys.hasSignatureHelpProvider.bindTo(_contextKeyService);
|
|
1655
|
+
this._hasInlayHintsProvider = EditorContextKeys.hasInlayHintsProvider.bindTo(_contextKeyService);
|
|
1656
|
+
this._hasDocumentFormattingProvider = EditorContextKeys.hasDocumentFormattingProvider.bindTo(_contextKeyService);
|
|
1657
|
+
this._hasDocumentSelectionFormattingProvider = EditorContextKeys.hasDocumentSelectionFormattingProvider.bindTo(_contextKeyService);
|
|
1658
|
+
this._hasMultipleDocumentFormattingProvider = EditorContextKeys.hasMultipleDocumentFormattingProvider.bindTo(_contextKeyService);
|
|
1659
|
+
this._hasMultipleDocumentSelectionFormattingProvider = EditorContextKeys.hasMultipleDocumentSelectionFormattingProvider.bindTo(_contextKeyService);
|
|
1660
|
+
this._isInEmbeddedEditor = EditorContextKeys.isInEmbeddedEditor.bindTo(_contextKeyService);
|
|
1661
|
+
const update = () => this._update();
|
|
1662
|
+
// update when model/mode changes
|
|
1663
|
+
this._register(_editor.onDidChangeModel(update));
|
|
1664
|
+
this._register(_editor.onDidChangeModelLanguage(update));
|
|
1665
|
+
// update when registries change
|
|
1666
|
+
this._register(_languageFeaturesService.completionProvider.onDidChange(update));
|
|
1667
|
+
this._register(_languageFeaturesService.codeActionProvider.onDidChange(update));
|
|
1668
|
+
this._register(_languageFeaturesService.codeLensProvider.onDidChange(update));
|
|
1669
|
+
this._register(_languageFeaturesService.definitionProvider.onDidChange(update));
|
|
1670
|
+
this._register(_languageFeaturesService.declarationProvider.onDidChange(update));
|
|
1671
|
+
this._register(_languageFeaturesService.implementationProvider.onDidChange(update));
|
|
1672
|
+
this._register(_languageFeaturesService.typeDefinitionProvider.onDidChange(update));
|
|
1673
|
+
this._register(_languageFeaturesService.hoverProvider.onDidChange(update));
|
|
1674
|
+
this._register(_languageFeaturesService.documentHighlightProvider.onDidChange(update));
|
|
1675
|
+
this._register(_languageFeaturesService.documentSymbolProvider.onDidChange(update));
|
|
1676
|
+
this._register(_languageFeaturesService.referenceProvider.onDidChange(update));
|
|
1677
|
+
this._register(_languageFeaturesService.renameProvider.onDidChange(update));
|
|
1678
|
+
this._register(_languageFeaturesService.documentFormattingEditProvider.onDidChange(update));
|
|
1679
|
+
this._register(_languageFeaturesService.documentRangeFormattingEditProvider.onDidChange(update));
|
|
1680
|
+
this._register(_languageFeaturesService.signatureHelpProvider.onDidChange(update));
|
|
1681
|
+
this._register(_languageFeaturesService.inlayHintsProvider.onDidChange(update));
|
|
1682
|
+
update();
|
|
1683
|
+
}
|
|
1684
|
+
dispose() {
|
|
1685
|
+
super.dispose();
|
|
1686
|
+
}
|
|
1687
|
+
reset() {
|
|
1688
|
+
this._contextKeyService.bufferChangeEvents(() => {
|
|
1689
|
+
this._langId.reset();
|
|
1690
|
+
this._hasCompletionItemProvider.reset();
|
|
1691
|
+
this._hasCodeActionsProvider.reset();
|
|
1692
|
+
this._hasCodeLensProvider.reset();
|
|
1693
|
+
this._hasDefinitionProvider.reset();
|
|
1694
|
+
this._hasDeclarationProvider.reset();
|
|
1695
|
+
this._hasImplementationProvider.reset();
|
|
1696
|
+
this._hasTypeDefinitionProvider.reset();
|
|
1697
|
+
this._hasHoverProvider.reset();
|
|
1698
|
+
this._hasDocumentHighlightProvider.reset();
|
|
1699
|
+
this._hasDocumentSymbolProvider.reset();
|
|
1700
|
+
this._hasReferenceProvider.reset();
|
|
1701
|
+
this._hasRenameProvider.reset();
|
|
1702
|
+
this._hasDocumentFormattingProvider.reset();
|
|
1703
|
+
this._hasDocumentSelectionFormattingProvider.reset();
|
|
1704
|
+
this._hasSignatureHelpProvider.reset();
|
|
1705
|
+
this._isInEmbeddedEditor.reset();
|
|
1706
|
+
});
|
|
1707
|
+
}
|
|
1708
|
+
_update() {
|
|
1709
|
+
const model = this._editor.getModel();
|
|
1710
|
+
if (!model) {
|
|
1711
|
+
this.reset();
|
|
1712
|
+
return;
|
|
1713
|
+
}
|
|
1714
|
+
this._contextKeyService.bufferChangeEvents(() => {
|
|
1715
|
+
this._langId.set(model.getLanguageId());
|
|
1716
|
+
this._hasCompletionItemProvider.set(this._languageFeaturesService.completionProvider.has(model));
|
|
1717
|
+
this._hasCodeActionsProvider.set(this._languageFeaturesService.codeActionProvider.has(model));
|
|
1718
|
+
this._hasCodeLensProvider.set(this._languageFeaturesService.codeLensProvider.has(model));
|
|
1719
|
+
this._hasDefinitionProvider.set(this._languageFeaturesService.definitionProvider.has(model));
|
|
1720
|
+
this._hasDeclarationProvider.set(this._languageFeaturesService.declarationProvider.has(model));
|
|
1721
|
+
this._hasImplementationProvider.set(this._languageFeaturesService.implementationProvider.has(model));
|
|
1722
|
+
this._hasTypeDefinitionProvider.set(this._languageFeaturesService.typeDefinitionProvider.has(model));
|
|
1723
|
+
this._hasHoverProvider.set(this._languageFeaturesService.hoverProvider.has(model));
|
|
1724
|
+
this._hasDocumentHighlightProvider.set(this._languageFeaturesService.documentHighlightProvider.has(model));
|
|
1725
|
+
this._hasDocumentSymbolProvider.set(this._languageFeaturesService.documentSymbolProvider.has(model));
|
|
1726
|
+
this._hasReferenceProvider.set(this._languageFeaturesService.referenceProvider.has(model));
|
|
1727
|
+
this._hasRenameProvider.set(this._languageFeaturesService.renameProvider.has(model));
|
|
1728
|
+
this._hasSignatureHelpProvider.set(this._languageFeaturesService.signatureHelpProvider.has(model));
|
|
1729
|
+
this._hasInlayHintsProvider.set(this._languageFeaturesService.inlayHintsProvider.has(model));
|
|
1730
|
+
this._hasDocumentFormattingProvider.set(this._languageFeaturesService.documentFormattingEditProvider.has(model) || this._languageFeaturesService.documentRangeFormattingEditProvider.has(model));
|
|
1731
|
+
this._hasDocumentSelectionFormattingProvider.set(this._languageFeaturesService.documentRangeFormattingEditProvider.has(model));
|
|
1732
|
+
this._hasMultipleDocumentFormattingProvider.set(this._languageFeaturesService.documentFormattingEditProvider.all(model).length + this._languageFeaturesService.documentRangeFormattingEditProvider.all(model).length > 1);
|
|
1733
|
+
this._hasMultipleDocumentSelectionFormattingProvider.set(this._languageFeaturesService.documentRangeFormattingEditProvider.all(model).length > 1);
|
|
1734
|
+
this._isInEmbeddedEditor.set(model.uri.scheme === Schemas.walkThroughSnippet || model.uri.scheme === Schemas.vscodeChatCodeBlock);
|
|
1735
|
+
});
|
|
1736
|
+
}
|
|
1737
|
+
}
|
|
1738
|
+
class EditorDecorationsCollection {
|
|
1739
|
+
get length() {
|
|
1740
|
+
return this._decorationIds.length;
|
|
1741
|
+
}
|
|
1742
|
+
constructor(_editor, decorations) {
|
|
1743
|
+
this._editor = _editor;
|
|
1744
|
+
this._decorationIds = [];
|
|
1745
|
+
this._isChangingDecorations = false;
|
|
1746
|
+
if (Array.isArray(decorations) && decorations.length > 0) {
|
|
1747
|
+
this.set(decorations);
|
|
1748
|
+
}
|
|
1749
|
+
}
|
|
1750
|
+
onDidChange(listener, thisArgs, disposables) {
|
|
1751
|
+
return this._editor.onDidChangeModelDecorations((e) => {
|
|
1752
|
+
if (this._isChangingDecorations) {
|
|
1753
|
+
return;
|
|
1754
|
+
}
|
|
1755
|
+
listener.call(thisArgs, e);
|
|
1756
|
+
}, disposables);
|
|
1757
|
+
}
|
|
1758
|
+
getRange(index) {
|
|
1759
|
+
if (!this._editor.hasModel()) {
|
|
1760
|
+
return null;
|
|
1761
|
+
}
|
|
1762
|
+
if (index >= this._decorationIds.length) {
|
|
1763
|
+
return null;
|
|
1764
|
+
}
|
|
1765
|
+
return this._editor.getModel().getDecorationRange(this._decorationIds[index]);
|
|
1766
|
+
}
|
|
1767
|
+
getRanges() {
|
|
1768
|
+
if (!this._editor.hasModel()) {
|
|
1769
|
+
return [];
|
|
1770
|
+
}
|
|
1771
|
+
const model = this._editor.getModel();
|
|
1772
|
+
const result = [];
|
|
1773
|
+
for (const decorationId of this._decorationIds) {
|
|
1774
|
+
const range = model.getDecorationRange(decorationId);
|
|
1775
|
+
if (range) {
|
|
1776
|
+
result.push(range);
|
|
1777
|
+
}
|
|
1778
|
+
}
|
|
1779
|
+
return result;
|
|
1780
|
+
}
|
|
1781
|
+
has(decoration) {
|
|
1782
|
+
return this._decorationIds.includes(decoration.id);
|
|
1783
|
+
}
|
|
1784
|
+
clear() {
|
|
1785
|
+
if (this._decorationIds.length === 0) {
|
|
1786
|
+
// nothing to do
|
|
1787
|
+
return;
|
|
1788
|
+
}
|
|
1789
|
+
this.set([]);
|
|
1790
|
+
}
|
|
1791
|
+
set(newDecorations) {
|
|
1792
|
+
try {
|
|
1793
|
+
this._isChangingDecorations = true;
|
|
1794
|
+
this._editor.changeDecorations((accessor) => {
|
|
1795
|
+
this._decorationIds = accessor.deltaDecorations(this._decorationIds, newDecorations);
|
|
1796
|
+
});
|
|
1797
|
+
}
|
|
1798
|
+
finally {
|
|
1799
|
+
this._isChangingDecorations = false;
|
|
1800
|
+
}
|
|
1801
|
+
return this._decorationIds;
|
|
1802
|
+
}
|
|
1803
|
+
append(newDecorations) {
|
|
1804
|
+
let newDecorationIds = [];
|
|
1805
|
+
try {
|
|
1806
|
+
this._isChangingDecorations = true;
|
|
1807
|
+
this._editor.changeDecorations((accessor) => {
|
|
1808
|
+
newDecorationIds = accessor.deltaDecorations([], newDecorations);
|
|
1809
|
+
this._decorationIds = this._decorationIds.concat(newDecorationIds);
|
|
1810
|
+
});
|
|
1811
|
+
}
|
|
1812
|
+
finally {
|
|
1813
|
+
this._isChangingDecorations = false;
|
|
1814
|
+
}
|
|
1815
|
+
return newDecorationIds;
|
|
1816
|
+
}
|
|
1817
|
+
}
|
|
1818
|
+
const squigglyStart = encodeURIComponent(`<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 6 3' enable-background='new 0 0 6 3' height='3' width='6'><g fill='`);
|
|
1819
|
+
const squigglyEnd = encodeURIComponent(`'><polygon points='5.5,0 2.5,3 1.1,3 4.1,0'/><polygon points='4,0 6,2 6,0.6 5.4,0'/><polygon points='0,2 1,3 2.4,3 0,0.6'/></g></svg>`);
|
|
1820
|
+
function getSquigglySVGData(color) {
|
|
1821
|
+
return squigglyStart + encodeURIComponent(color.toString()) + squigglyEnd;
|
|
1822
|
+
}
|
|
1823
|
+
const dotdotdotStart = encodeURIComponent(`<svg xmlns="http://www.w3.org/2000/svg" height="3" width="12"><g fill="`);
|
|
1824
|
+
const dotdotdotEnd = encodeURIComponent(`"><circle cx="1" cy="1" r="1"/><circle cx="5" cy="1" r="1"/><circle cx="9" cy="1" r="1"/></g></svg>`);
|
|
1825
|
+
function getDotDotDotSVGData(color) {
|
|
1826
|
+
return dotdotdotStart + encodeURIComponent(color.toString()) + dotdotdotEnd;
|
|
1827
|
+
}
|
|
1828
|
+
registerThemingParticipant((theme, collector) => {
|
|
1829
|
+
const errorForeground = theme.getColor(editorErrorForeground);
|
|
1830
|
+
if (errorForeground) {
|
|
1831
|
+
collector.addRule(`.monaco-editor .${"squiggly-error" /* ClassName.EditorErrorDecoration */} { background: url("data:image/svg+xml,${getSquigglySVGData(errorForeground)}") repeat-x bottom left; }`);
|
|
1832
|
+
collector.addRule(`:root { --monaco-editor-error-decoration: url("data:image/svg+xml,${getSquigglySVGData(errorForeground)}"); }`);
|
|
1833
|
+
}
|
|
1834
|
+
const warningForeground = theme.getColor(editorWarningForeground);
|
|
1835
|
+
if (warningForeground) {
|
|
1836
|
+
collector.addRule(`.monaco-editor .${"squiggly-warning" /* ClassName.EditorWarningDecoration */} { background: url("data:image/svg+xml,${getSquigglySVGData(warningForeground)}") repeat-x bottom left; }`);
|
|
1837
|
+
collector.addRule(`:root { --monaco-editor-warning-decoration: url("data:image/svg+xml,${getSquigglySVGData(warningForeground)}"); }`);
|
|
1838
|
+
}
|
|
1839
|
+
const infoForeground = theme.getColor(editorInfoForeground);
|
|
1840
|
+
if (infoForeground) {
|
|
1841
|
+
collector.addRule(`.monaco-editor .${"squiggly-info" /* ClassName.EditorInfoDecoration */} { background: url("data:image/svg+xml,${getSquigglySVGData(infoForeground)}") repeat-x bottom left; }`);
|
|
1842
|
+
collector.addRule(`:root { --monaco-editor-info-decoration: url("data:image/svg+xml,${getSquigglySVGData(infoForeground)}"); }`);
|
|
1843
|
+
}
|
|
1844
|
+
const hintForeground = theme.getColor(editorHintForeground);
|
|
1845
|
+
if (hintForeground) {
|
|
1846
|
+
collector.addRule(`.monaco-editor .${"squiggly-hint" /* ClassName.EditorHintDecoration */} { background: url("data:image/svg+xml,${getDotDotDotSVGData(hintForeground)}") no-repeat bottom left; }`);
|
|
1847
|
+
collector.addRule(`:root { --monaco-editor-hint-decoration: url("data:image/svg+xml,${getDotDotDotSVGData(hintForeground)}"); }`);
|
|
1848
|
+
}
|
|
1849
|
+
const unnecessaryForeground = theme.getColor(editorUnnecessaryCodeOpacity);
|
|
1850
|
+
if (unnecessaryForeground) {
|
|
1851
|
+
collector.addRule(`.monaco-editor.showUnused .${"squiggly-inline-unnecessary" /* ClassName.EditorUnnecessaryInlineDecoration */} { opacity: ${unnecessaryForeground.rgba.a}; }`);
|
|
1852
|
+
collector.addRule(`:root { --monaco-editor-unnecessary-decoration-opacity: ${unnecessaryForeground.rgba.a}; }`);
|
|
1853
|
+
}
|
|
1854
|
+
});
|
|
1855
|
+
|
|
1856
|
+
export { BooleanEventEmitter, CodeEditorWidget, EditorModeContext };
|