diff --git a/index.html b/index.html index 0c66a37103d4b20392b3938b58d37fee920fb314..28641a1ba12c491e86919a265aa9fe37473fcb72 100644 --- a/index.html +++ b/index.html @@ -68,8 +68,12 @@ <option value="mode/htmlmixed/index.html">Mixed language modes</option> <option value="demo/bidi.html">Bi-directional text</option> <option value="demo/variableheight.html">Variable font sizes</option> + <option value="demo/search.html">Search interface</option> <option value="demo/vim.html">Vim bindings</option> <option value="demo/emacs.html">Emacs bindings</option> + <option value="demo/tern.html">Tern integration</option> + <option value="demo/merge.html">Merge/diff interface</option> + <option value="demo/fullscreen.html">Full-screen editor</option> </select></form> <script> var editor = CodeMirror.fromTextArea(document.getElementById("demotext"), {