require(["gitbook", "jquery"], function (gitbook, $) { var init = function () { var aceCount = 0; $('.ace').each(function () { var $ace = $(this).children('.aceCode'); var config = $ace.data('config'); var id = 'ace' + (aceCount++); $ace.attr('id', id); var editor = ace.edit(id); editor.setOptions({ autoScrollEditorIntoView: true, maxLines: 100 }); if (!config.edit) editor.setReadOnly(true); if (!config.theme) editor.setTheme('ace/theme/chrome'); else editor.setTheme('ace/theme/' + config.theme); if (!config.check) editor.session.setOption("useWorker", false); editor.getSession().setMode('ace/mode/' + config.lang); }); }; gitbook.events.bind("page.change", init); });