mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-03-19 13:20:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

Enable codemirror search/replace shortcuts

Browse Source
This commit is contained in:
Thomas Kluyver 2014-11-05 17:31:08 -08:00
parent 59b13f2d08
commit c1d012d703
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
IPython/html/static/texteditor/js/editor.js
View File

@ -6,6 +6,7 @@ define([
'base/js/utils',
'codemirror/lib/codemirror',
'codemirror/mode/meta',
'codemirror/addon/search/search'
],
function($,
utils,

1
IPython/html/templates/texteditor.html
View File

@ -4,6 +4,7 @@
{% block stylesheet %}
<link rel="stylesheet" href="{{ static_url('components/codemirror/lib/codemirror.css') }}">
<link rel="stylesheet" href="{{ static_url('components/codemirror/addon/dialog/dialog.css') }}">
{{super()}}
{% endblock %}