redisplay tree when a search is cancelled

diff --git a/disobedience/choose.c b/disobedience/choose.c
index 8e43d178c0e47dd19902af797af515c207664c54..3c086a5d9000f77e57cf8c4ce8f6babbff97fd9f 100644 (file)
--- a/disobedience/choose.c
+++ b/disobedience/choose.c
@@ -611,6 +611,7 @@ static void search_completed(void attribute((unused)) *v,
       expand_from(root);
     } else {
       searchhash = 0;                   /* for the gc */
       expand_from(root);
     } else {
       searchhash = 0;                   /* for the gc */

+      redisplay_tree();                 /* remove search markers */

     }
   }
 }
     }
   }
 }