SystemSh0cker/monaco-editor
1
0
Fork 0
mirror of https://github.com/microsoft/monaco-editor.git synced 2025-12-22 09:20:10 +01:00
Code Issues Projects Releases Packages Activity

Fixes #1444: Add a schema to extra lib paths

Browse source
This commit is contained in:
Alex Dima 2019-12-17 16:22:45 +01:00
parent 5b9ff27ef8
commit f9a8e60122
No known key found for this signature in database
GPG key ID: 6E58D7B045760DA0
3 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
test/playground.generated/extending-language-services-configure-javascript-defaults.html
View file

@ -61,7 +61,7 @@ monaco.languages.typescript.javascriptDefaults.addExtraLib([
' */',
' static next():string',
'}',
].join('\n'), 'filename/facts.d.ts');
].join('\n'), 'ts:filename/facts.d.ts');
var jsCode = [
'"use strict";',
@ -78,6 +78,7 @@ monaco.editor.create(document.getElementById("container"), {
language: "javascript"
});
/*----------------------------------------SAMPLE JS END*/
});
</script>

2
website/playground/new-samples/extending-language-services/configure-javascript-defaults/sample.js
View file

@ -23,7 +23,7 @@ monaco.languages.typescript.javascriptDefaults.addExtraLib([
' */',
' static next():string',
'}',
].join('\n'), 'filename/facts.d.ts');
].join('\n'), 'ts:filename/facts.d.ts');
var jsCode = [
'"use strict";',

4
website/playground/playground.js
View file

@ -7,7 +7,7 @@
window.onload = function () {
require(['vs/editor/editor.main'], function () {
xhr('playground/monaco.d.ts.txt').then(function (response) {
monaco.languages.typescript.javascriptDefaults.addExtraLib(response.responseText, 'monaco.d.ts');
monaco.languages.typescript.javascriptDefaults.addExtraLib(response.responseText, 'ts:monaco.d.ts');
monaco.languages.typescript.javascriptDefaults.addExtraLib([
'declare var require: {',
' toUrl(path: string): string;',
@ -16,7 +16,7 @@
' config(data: any): any;',
' onError: Function;',
'};',
].join('\n'), 'require.d.ts');
].join('\n'), 'ts:require.d.ts');
});
var loading = document.getElementById('loading');