rename context-hint to contexthint

This commit is contained in:
Matthias BUSSONNIER 2012-05-10 14:05:39 +02:00 committed by Brian Granger
parent 88befeb497
commit 186c995041
2 changed files with 1 additions and 3 deletions

View File

@ -224,7 +224,6 @@ data-notebook-id={{notebook_id}}
<script src="{{ static_url("js/cell.js") }}" type="text/javascript" charset="utf-8"></script>
<script src="{{ static_url("js/codecell.js") }}" type="text/javascript" charset="utf-8"></script>
<script src="{{ static_url("js/completer.js") }}" type="text/javascript" charset="utf-8"></script>
<script src="{{ static_url("js/context-hint.js") }} charset="utf-8"></script>
<script src="{{ static_url("js/textcell.js") }}" type="text/javascript" charset="utf-8"></script>
<script src="{{ static_url("js/kernel.js") }}" type="text/javascript" charset="utf-8"></script>
<script src="{{ static_url("js/savewidget.js") }}" type="text/javascript" charset="utf-8"></script>
@ -237,7 +236,6 @@ data-notebook-id={{notebook_id}}
<script src="{{ static_url("js/tooltip.js") }}" type="text/javascript" charset="utf-8"></script>
<script src="{{ static_url("js/notebookmain.js") }}" type="text/javascript" charset="utf-8"></script>
<script src="{{ static_url("js/context-hint.js") }} charset="utf-8"></script>
<script src="{{ static_url("codemirror/lib/util/simple-hint.js") }} charset="utf-8"></script>
<script src="{{ static_url("js/contexthint.js") }} charset="utf-8"></script>
{% end %}