Как добавлять, удалять и изменять глифы в Monaco Editor - PullRequest
Новая
       11

Как добавлять, удалять и изменять глифы в Monaco Editor

0 голосов
/ 08 апреля 2020

Я могу добавить глиф в редактор, но я не могу удалить и редактировать глиф. Можете ли вы дать мне правильный способ сделать это. 

<h2>Monaco Editor Sample</h2>
<div id="container" style="width:80%;height:600px;border:1px solid grey"></div>

<!-- OR ANY OTHER AMD LOADER HERE INSTEAD OF loader.js -->
<script src="../node_modules/monaco-editor/min/vs/loader.js"></script>
<script>
    var editor,decorations;
    require.config({ paths: { 'vs': '../node_modules/monaco-editor/min/vs' }});
    require(['vs/editor/editor.main'], function() {
         editor = monaco.editor.create(document.getElementById('container'), {
            value: [
                'function x() {',
                '\tconsole.log("Hello world!");',
                '}',
            ].join('\n'),
            language: 'javascript',
            theme: "myCustomTheme",
            automaticLayout: true,
            readOnly: false,
            mouseWheelZoom:true,
            glyphMargin:true,
            fontSize:'20px'
        });
   //below is the glyph I am calling
    var decorations = editor.deltaDecorations([], [     
    {
        range: new monaco.Range(3,1,3,1),
        options: {
            isWholeLine: true,
            className: 'myContentClass',
            glyphMarginClassName: 'glyph-error',
        }
    }
    ]);
    });
</script>

Я пытаюсь удалить или изменить диапазон и стиль символа, используя переменную украшений , но это строковый объект.

Это как мой редактор выглядит с квадратом глифа

...