|
|
@ -43,7 +43,7 @@ var editor = ace.edit("editor");
|
|
|
|
editor.setTheme("ace/theme/vibrant_ink");
|
|
|
|
editor.setTheme("ace/theme/vibrant_ink");
|
|
|
|
editor.getSession().setMode("ace/mode/python");
|
|
|
|
editor.getSession().setMode("ace/mode/python");
|
|
|
|
editor.setFontSize("16px");
|
|
|
|
editor.setFontSize("16px");
|
|
|
|
editor.container.style.height = "250px"
|
|
|
|
// editor.container.style.height ="700px";
|
|
|
|
editor.setOptions({
|
|
|
|
editor.setOptions({
|
|
|
|
enableLiveAutocompletion: true,
|
|
|
|
enableLiveAutocompletion: true,
|
|
|
|
copyWithEmptySelection: true,
|
|
|
|
copyWithEmptySelection: true,
|
|
|
|