+(** @param reuse if set reused last opened cic browser otherwise
+* opens a new one. default is false *)
+let show_entry ?(reuse=false) t =
+ let browser =
+ if reuse then
+ (match !cicBrowsers with
+ [] -> cicBrowser ()
+ | b :: _ -> (b :> MatitaGuiTypes.cicBrowser))
+ else
+ cicBrowser ()
+ in
+ browser#load t
+;;