Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector

Conflicts:
	selector.cc

diff --git a/selector.cc b/selector.cc
index 46ff098..28ca7db 100644 (file)
--- a/selector.cc
+++ b/selector.cc
@@ -915,7 +915,7 @@ int main(int argc, char **argv) {
       use_regexp = !use_regexp;
     }
 
-    else if(key == '\011') { // ^R
+    else if(key == '\011') { // ^I
       case_sensitive = !case_sensitive;
     }