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#browserUri#entry#connect#activate (handle_error' (fun () ->
+ self#loadInput win#browserUri#entry#text)));
ignore (win#browserHomeButton#connect#clicked (handle_error' (fun () ->
self#load (`About `Current_proof))));
ignore (win#browserRefreshButton#connect#clicked
method private _getSelectedUri () =
match model#easy_selection () with
- | [sel] when is_uri sel -> sel (* absolute URI selected *)
- | [sel] -> win#browserUri#text ^ sel (* relative URI selected *)
+ | [sel] when is_uri sel -> sel (* absolute URI selected *)
+ | [sel] -> win#browserUri#entry#text ^ sel (* relative URI selected *)
| _ -> assert false
(** history RATIONALE
self#_loadList l
method private setEntry entry =
- win#browserUri#set_text (string_of_entry entry);
+ win#browserUri#entry#set_text (string_of_entry entry);
current_entry <- entry
method private _loadObj obj =
match txt with
| txt when is_uri txt -> `Uri (fix_uri txt)
| txt when is_dir txt -> `Dir (add_trailing_slash txt)
- | _ -> raise (Browser_failure (sprintf "unsupported uri: %s" txt))
+ | txt ->
+ (try
+ entry_of_string txt
+ with Invalid_argument _ ->
+ raise (Browser_failure (sprintf "unsupported uri: %s" txt)))
in
self#_load entry;
self#_historyAdd entry