+ 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 ());
+