Drop search highlighting when exiting search mode. Thanks to Philip Ganchev and Martin Bähr for the bug reports.

darcs-hash:20061116125803-ac50b-6eb95d76c3679a32db940a698466381ef7822b9e.gz

reader.c

@@ -2296,6 +2296,7 @@ wchar_t *reader_readline()
 						reader_replace_current_token( data->search_buff );
 					}
 					*data->search_buff=0;
+					reader_super_highlight_me_plenty( data->buff_pos, 0 );
 					repaint();
 
 				}