- ignore (win#browserUri#connect#activate (fun () ->
- self#_loadUri win#browserUri#text));
- ignore (win#browserHomeButton#connect#clicked (fun () ->
- self#_loadUri current_proof_uri));
- ignore (win#browserRefreshButton#connect#clicked self#refresh);
- ignore (win#browserBackButton#connect#clicked self#back);
- ignore (win#browserForwardButton#connect#clicked self#forward);
+ activate_combo_query "" "locate";
+ win#comboVbox#add (combo :> GObj.widget);
+ let start_query () =
+ let query = String.lowercase (List.nth queries combo#active) in
+ let input = win#queryInputText#text in
+ let statement = "whelp " ^ query ^ " " ^ input ^ "." in
+ (MatitaScript.instance ())#advance ~statement ()
+ in
+ ignore(win#queryInputText#connect#activate ~callback:start_query);
+ ignore(combo#connect#changed ~callback:start_query);
+ win#whelpImage2#set_file "icons/whelp.png";
+ win#whelpBarToggleButton#set_active false;
+ win#whelpBarBox#misc#hide ();
+ win#mathOrListNotebook#set_show_tabs false;
+ MatitaGtkMisc.connect_toggle_button win#whelpBarToggleButton
+ (fun () ->
+ if win#whelpBarToggleButton#active then
+ win#whelpBarBox#misc#show ()
+ else
+ win#whelpBarBox#misc#hide ());
+
+ win#browserForwardButton#misc#set_sensitive false;
+ win#browserBackButton#misc#set_sensitive false;
+ ignore (win#browserUri#connect#activate (handle_error' (fun () ->
+ self#loadInput win#browserUri#text)));
+ ignore (win#browserHomeButton#connect#clicked (handle_error' (fun () ->
+ self#_load (`About `Current_proof))));
+ ignore (win#browserRefreshButton#connect#clicked
+ (handle_error' self#refresh));
+ ignore (win#browserBackButton#connect#clicked (handle_error' self#back));
+ ignore (win#browserForwardButton#connect#clicked
+ (handle_error' self#forward));