Fixes #174: case insensitive search

1 files changed, 1 insertions, 1 deletions

diff --git a/src/main.js b/src/main.js
index b20b0ee1..70455c2b 100644
--- a/src/main.js
+++ b/src/main.js
@@ -41,7 +41,7 @@ function(textanalysis_ui,   textanalysis,   buttons,   history,   drag_n_drop,
                 r;
 
             try {
-                r = new RegExp(text); // TODO fails for quotes
+                r = new RegExp(text, 'i');
             } catch (e) {
                 return; // don't clear selection either
             }