Merge pull request #3775 from PmcFizz/main

use createDecorationsCollection replace deltaDecorations
pull/3837/head
Henning Dieterichs 2 years ago committed by GitHub
commit 7374280f4e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -15,9 +15,7 @@ var editor = monaco.editor.create(document.getElementById("container"), {
language: "javascript", language: "javascript",
}); });
var decorations = editor.deltaDecorations( var decorations = editor.createDecorationsCollection([
[],
[
{ {
range: new monaco.Range(3, 1, 5, 1), range: new monaco.Range(3, 1, 5, 1),
options: { options: {
@ -29,5 +27,4 @@ var decorations = editor.deltaDecorations(
range: new monaco.Range(7, 1, 7, 24), range: new monaco.Range(7, 1, 7, 24),
options: { inlineClassName: "myInlineDecoration" }, options: { inlineClassName: "myInlineDecoration" },
}, },
] ]);
);

@ -17,9 +17,7 @@ var editor = monaco.editor.create(document.getElementById("container"), {
contextmenu: false, contextmenu: false,
}); });
var decorations = editor.deltaDecorations( var decorations = editor.createDecorationsCollection([
[],
[
{ {
range: new monaco.Range(3, 1, 3, 1), range: new monaco.Range(3, 1, 3, 1),
options: { options: {
@ -28,8 +26,7 @@ var decorations = editor.deltaDecorations(
glyphMarginClassName: "myGlyphMarginClass", glyphMarginClassName: "myGlyphMarginClass",
}, },
}, },
] ]);
);
// Add a zone to make hit testing more interesting // Add a zone to make hit testing more interesting
var viewZoneId = null; var viewZoneId = null;

@ -16,9 +16,7 @@ var editor = monaco.editor.create(document.getElementById("container"), {
glyphMargin: true, glyphMargin: true,
}); });
var decorations = editor.deltaDecorations( var decorations = editor.createDecorationsCollection([
[],
[
{ {
range: new monaco.Range(3, 1, 3, 1), range: new monaco.Range(3, 1, 3, 1),
options: { options: {
@ -27,7 +25,6 @@ var decorations = editor.deltaDecorations(
glyphMarginClassName: "myGlyphMarginClass", glyphMarginClassName: "myGlyphMarginClass",
}, },
}, },
] ]);
);
// You can now use `decorations` to change or remove the decoration // You can now use `decorations` to change or remove the decoration

Loading…
Cancel
Save