Fixes #780: Adopt new hover API

pull/878/head
Alex Dima 7 years ago
parent e824352114
commit 4f663fab48

@ -7,8 +7,8 @@ monaco.languages.registerHoverProvider('mySpecialLanguage', {
return {
range: new monaco.Range(1, 1, model.getLineCount(), model.getLineMaxColumn(model.getLineCount())),
contents: [
'**SOURCE**',
{ language: 'html', value: res.responseText.substring(0, 200) }
{ value: '**SOURCE**' },
{ value: '```html\n' + res.responseText.substring(0, 200) + '\n```' }
]
}
});

Loading…
Cancel
Save