Merge pull request #1293

Incremental search
2013-03-23 16:21:35 +04:00 · 2013-03-23 16:21:35 +04:00 · 9d4faf8911
commit 9d4faf8911
parent d091abc397 3a781ed2c2
9 changed files with 673 additions and 10 deletions
--- a/kitchen-sink.html
+++ b/kitchen-sink.html
@ -250,6 +250,14 @@
        <input type="checkbox" id="elastic_tabstops">
      </td>
    </tr>
+    <tr>
+      <td >
+        <label for="isearch">Incremental Search</label>
+      </td>
+      <td>
+        <input type="checkbox" id="isearch">
+      </td>
+    </tr>
    <tr>
      <td >
        <label for="highlight_token">Show token info</label>