addstr(" ");
}
- if(use_regexp) {
- addstr(" [regexp]");
- }
+ if(use_regexp || case_sensitive) {
+ addstr("[");
+ if(use_regexp) {
+ addstr("regexp");
+ }
- if(case_sensitive) {
- addstr(" [case]");
+ if(case_sensitive) {
+ if(use_regexp) {
+ addstr(",");
+ }
+ addstr("case");
+ }
+ addstr("]");
}
move(0, cursor_x);