Johannes Rieken 2023-05-31 11:10:59 +02:00 committed by GitHub
parent cfaa19383c
commit 7844d7378a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -104,8 +104,8 @@ const _previewEditorEditorOptions: IDiffEditorConstructionOptions = {
diffCodeLens: false,
scrollBeyondLastLine: false,
stickyScroll: { enabled: false },
originalAriaLabel: localize('modified', 'Modified'),
modifiedAriaLabel: localize('original', 'Original'),
originalAriaLabel: localize('original', 'Original'),
modifiedAriaLabel: localize('modified', 'Modified'),
diffAlgorithm: 'advanced',
readOnly: true,
isInEmbeddedEditor: true