module View:You can define new views using this module. A view is a box in the right part of the main window, updated when it is the active view and the user changes the selected directory.sig
..end
class type view =object
..end
val add_view : view -> string -> unit
add_view view label
adds the given view
to the
notebook of views, with the given label
.