# 
# patch "view.ml"
#  from [ea235e3223af6754ceb06f9b58b1fd9f3ef988df]
#    to [5ad3c39976fba9ebc5bbd2dc5c1199928bd4c82c]
# 
========================================================================
--- view.ml	ea235e3223af6754ceb06f9b58b1fd9f3ef988df
+++ view.ml	5ad3c39976fba9ebc5bbd2dc5c1199928bd4c82c
@@ -657,6 +657,7 @@
     (domain, limit_kind, entries_text, span_kind)
 
   let set_state s ctrl ?id state =
+    s.w#misc#hide () ;
     let (domain, limit_kind, entries_text, span_kind) = state in
     let in_domain v = 
       match domain with