From: Francois Fleuret Date: Mon, 8 Jun 2009 10:47:11 +0000 (+0200) Subject: Cosmetics. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=98e35a0ee3998dd63fe0e8c08ef1bc9bace6c04d;p=selector.git Cosmetics. --- diff --git a/selector.cc b/selector.cc index 8aeabca..918b724 100644 --- a/selector.cc +++ b/selector.cc @@ -23,7 +23,7 @@ */ // To use it as a super-history-search for bash: -// selector -q -b -i -d -v -w -l 10000 <(history) +// selector -q -b -i -d -v -w -l ${HISTSIZE} <(history) #include #include @@ -126,7 +126,7 @@ void error_feedback() { ////////////////////////////////////////////////////////////////////// // A quick and dirty hash table -// The table itself stores index of the strings in a char +// The table itself stores indexes of the strings taken in a char // **table. When a string is added, if it was already in the table, // the new index replaces the previous one. @@ -144,7 +144,8 @@ int *new_hash_table(int hash_table_size) { // the previous index it had. int test_and_add(char *new_string, int new_index, - char **strings, int *hash_table, int hash_table_size) { + char **strings, + int *hash_table, int hash_table_size) { unsigned int code = 0; @@ -330,10 +331,10 @@ int next_visible(int current_line, int nb_lines, char **lines, matcher_t *matche ////////////////////////////////////////////////////////////////////// // The value passed to this routine in current_focus_line is the index -// of the line to highlighted if it matches the matcher. The line -// highlighted is the first the one matching the matcher in that -// order: The current_focus_line itself, the first with a greated -// index, the first with a lesser index. +// of the line to highlight if it matches the matcher. The line +// highlighted is the first one matching the matcher in that order: +// (1) current_focus_line after motion, (2) the first with a greater +// index, (3) the first with a lesser index. // The index of the line actually shown highlighted is written in // displayed_focus_line (it can be -1) @@ -361,6 +362,7 @@ void update_screen(int *current_focus_line, int *displayed_focus_line, int nb_printed_lines = 0; use_default_colors(); + addstr("\n"); if(matcher.regexp_error) { @@ -1054,6 +1056,7 @@ int main(int argc, char **argv) { } out.flush(); } + } else { cout << "Aborted." << endl; }