Commit b80d1572 by David Baumgold

source-edit.html depends on leanModal

parent 5b1b0fe1
......@@ -28,7 +28,7 @@
</section>
<script type = "text/javascript">
require(["jquery", "codemirror/stex"], function($) {
require(["jquery", "jquery.leanModal", "codemirror/stex"], function($) {
hlstrig = $('#hls-trig-${hlskey}');
hlsmodal = $('#hls-modal-${hlskey}');
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment