daohualiuxiang
/
monaco-editor
mirror of https://github.com/microsoft/monaco-editor.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #740 from nikeee/fix-linenumbers 

Fix line number API usage
pull/577/head^2
Peng Lyu 2018-03-08 11:44:44 -08:00 committed by GitHub
parent a9a9a486ce 0b10139f53
commit 41bb016283
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/playground.generated/creating-the-editor-editor-basic-options.html
View File

@ -44,7 +44,7 @@ var editor = monaco.editor.create(document.getElementById("container"), {
value: "// First line\nfunction hello() {\n\talert('Hello world!');\n}\n// Last line", value: "// First line\nfunction hello() {\n\talert('Hello world!');\n}\n// Last line",
language: "javascript", language: "javascript",
lineNumbers: false, lineNumbers: "off",
roundedSelection: false, roundedSelection: false,
scrollBeyondLastLine: false, scrollBeyondLastLine: false,
readOnly: false, readOnly: false,
@ -52,7 +52,7 @@ var editor = monaco.editor.create(document.getElementById("container"), {
}); });
setTimeout(function() { setTimeout(function() {
editor.updateOptions({ editor.updateOptions({
lineNumbers: true lineNumbers: "on"
}); });
}, 2000); }, 2000);

4
website/playground/new-samples/creating-the-editor/editor-basic-options/sample.js
View File

@ -6,7 +6,7 @@ var editor = monaco.editor.create(document.getElementById("container"), {
value: "// First line\nfunction hello() {\n\talert('Hello world!');\n}\n// Last line", value: "// First line\nfunction hello() {\n\talert('Hello world!');\n}\n// Last line",
language: "javascript", language: "javascript",
lineNumbers: false, lineNumbers: "off",
roundedSelection: false, roundedSelection: false,
scrollBeyondLastLine: false, scrollBeyondLastLine: false,
readOnly: false, readOnly: false,
@ -14,6 +14,6 @@ var editor = monaco.editor.create(document.getElementById("container"), {
}); });
setTimeout(function() { setTimeout(function() {
editor.updateOptions({ editor.updateOptions({
lineNumbers: true lineNumbers: "on"
}); });
}, 2000); }, 2000);