X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;ds=inline;f=selector.cc;h=0d1e93e52d2b7e4f03e6959eccf2022bb3660fa9;hb=59f746ff4a368b67152334c07d789071abde3ab8;hp=36b7b9a895f60f89b34f9f22d888ac693a165853;hpb=7a7573dd2cd455de9e1848cfe56775de7b7d4d2b;p=selector.git

diff --git a/selector.cc b/selector.cc
index 36b7b9a..0d1e93e 100644
--- a/selector.cc
+++ b/selector.cc
@@ -1,7 +1,7 @@
 
 /*
- *  selector is a simple shell command for selection of strings with a
- *  dynamic pattern-matching.
+ *  selector is a simple command line utility for selection of strings
+ *  with a dynamic pattern-matching.
  *
  *  Copyright (c) 2009 Francois Fleuret
  *  Written by Francois Fleuret <francois@fleuret.org>
@@ -510,7 +510,7 @@ void update_screen(int *current_line, int *temporary_line, int motion,
 
     if(case_sensitive) {
       if(use_regexp) {
-        addstr(" ");
+        addstr(",");
       }
       addstr("case");
     }
@@ -773,11 +773,6 @@ int main(int argc, char **argv) {
     hash_table = new_hash_table(hash_table_size);
   }
 
-  // if(i == argc && !input_filename[0]) {
-    // cerr << "You must provide a filename." << endl;
-    // exit(1);
-  // }
-
   if(input_filename[0]) {
     read_file(input_filename,
               nb_lines_max, &nb_lines, lines,
@@ -824,9 +819,6 @@ int main(int argc, char **argv) {
 
   noecho();
 
-  // Hide the cursor
-  // curs_set(0);
-
   // So that the arrow keys work
   keypad(stdscr, TRUE);
 
@@ -838,7 +830,6 @@ int main(int argc, char **argv) {
          color_fg_highlight < 0 || color_bg_highlight >= COLORS ||
          color_bg_highlight < 0 || color_bg_highlight >= COLORS) {
         echo();
-        // curs_set(1);
         endwin();
         cerr << "Color numbers have to be between 0 and " << COLORS - 1 << "." << endl;
         exit(1);
@@ -942,7 +933,6 @@ int main(int argc, char **argv) {
   } while(key != '\n' && key != KEY_ENTER && key != '\007'); // ^G
 
   echo();
-  // curs_set(1);
   endwin();
 
   //////////////////////////////////////////////////////////////////////