File tree 2 files changed +7
-0
lines changed
2 files changed +7
-0
lines changed Original file line number Diff line number Diff line change @@ -113,6 +113,7 @@ <h3>Reference</h3>
113
113
< script src ="js/sigma/sigma.min.js "> </ script >
114
114
< script src ="js/sigma/plugins/sigma.plugins.dragNodes.min.js "> </ script >
115
115
< script src ="js/ace/ace.js "> </ script >
116
+ < script src ="js/ace/ext-language_tools.js "> </ script >
116
117
< script src ="js/module/tracer_manager.js "> </ script >
117
118
< script src ="js/module/tracer.js "> </ script >
118
119
< script src ="js/module/directed_graph.js "> </ script >
Original file line number Diff line number Diff line change @@ -16,8 +16,14 @@ $('#btn_interval input').on('change', function () {
16
16
} ) ;
17
17
18
18
var $module_container = $ ( '.module_container' ) ;
19
+ ace . require ( "ace/ext/language_tools" ) ;
19
20
var initEditor = function ( id ) {
20
21
var editor = ace . edit ( id ) ;
22
+ editor . setOptions ( {
23
+ enableBasicAutocompletion : true ,
24
+ enableSnippets : true ,
25
+ enableLiveAutocompletion : true
26
+ } ) ;
21
27
editor . setTheme ( "ace/theme/tomorrow_night_eighties" ) ;
22
28
editor . session . setMode ( "ace/mode/javascript" ) ;
23
29
editor . $blockScrolling = Infinity ;
You can’t perform that action at this time.
0 commit comments