# # patch "view.ml" # from [a413264c59c9675865a45ff2bc5c22a6524ac94e] # to [e2d5db9b44af998c30fc38475e59a3ad21d225db] # ======================================================================== --- view.ml a413264c59c9675865a45ff2bc5c22a6524ac94e +++ view.ml e2d5db9b44af998c30fc38475e59a3ad21d225db @@ -524,7 +524,11 @@ | `CANCEL | `DELETE_EVENT -> s.w#misc#hide () | `VIEW -> - may ctrl#query (make_query s))) + may + (fun q -> + s.w#misc#hide () ; + ctrl#query q) + (make_query s))) module Trie = struct