|
|
|
|
491
|
(<any>editor).setOption("wrap", "free");
|
491
|
(<any>editor).setOption("wrap", "free");
|
492
|
editor.setTheme("ace/theme/chrome");
|
492
|
editor.setTheme("ace/theme/chrome");
|
493
|
editor.getSession().setMode("ace/mode/rpgcard");
|
493
|
editor.getSession().setMode("ace/mode/rpgcard");
|
|
|
494
|
+ editor.$blockScrolling = Infinity;
|
494
|
|
495
|
|
495
|
setup_color_selector();
|
496
|
setup_color_selector();
|
496
|
(<any>$('.icon-list')).typeahead({ source: icon_names });
|
497
|
(<any>$('.icon-list')).typeahead({ source: icon_names });
|