saved_search_regs 3101 src/search.c     if (saved_search_regs.num_regs == 0)
saved_search_regs 3103 src/search.c         saved_search_regs = search_regs;
saved_search_regs 3116 src/search.c     if (saved_search_regs.num_regs != 0)
saved_search_regs 3123 src/search.c         search_regs = saved_search_regs;
saved_search_regs 3126 src/search.c         saved_search_regs.num_regs = 0;