Searched refs:undo_search (Results 1 – 3 of 3) sorted by relevance
269 public void undo_search ();
1480 undo_search(); in commands()
348 undo_search() in undo_search() function