-let next rendering_window () =
- match !to_visit_urls with
- [] -> raise NoNextOrPrevUrl
- | url::tl ->
- to_visit_urls := tl ;
- visited_urls := url::!visited_urls ;
- annotated_obj := None ;
- update_output rendering_window url ;
- rendering_window#prevb#misc#set_sensitive true ;
- if tl = [] then
- rendering_window#nextb#misc#set_sensitive false
-;;
-
-let prev rendering_window () =
- match !visited_urls with
- [] -> raise NoCurrentUrl
- | [_] -> raise NoNextOrPrevUrl
- | uri::(uri'::tl as newvu) ->
- visited_urls := newvu ;
- to_visit_urls := uri::!to_visit_urls ;
- annotated_obj := None ;
- update_output rendering_window uri' ;
- rendering_window#nextb#misc#set_sensitive true ;
- if tl = [] then
- rendering_window#prevb#misc#set_sensitive false
-;;
-