diff options
Diffstat (limited to 'otherlibs/labltk/browser/main.ml')
-rw-r--r-- | otherlibs/labltk/browser/main.ml | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/otherlibs/labltk/browser/main.ml b/otherlibs/labltk/browser/main.ml deleted file mode 100644 index 681342cff..000000000 --- a/otherlibs/labltk/browser/main.ml +++ /dev/null @@ -1,34 +0,0 @@ -(* $Id$ *) - -open Tk - -let _ = - let path = ref [] in - Arg.parse - keywords:[ "-I", Arg.String (fun s -> path := s :: !path), - "<dir> Add <dir> to the list of include directories" ] - others:(fun name -> raise(Arg.Bad("don't know what to do with " ^ name))) - errmsg:"lablbrowser :"; - Config.load_path := List.rev !path @ [Config.standard_library]; - begin - try Searchid.start_env := Env.open_pers_signature "Pervasives" Env.initial - with Env.Error _ -> () - end; - - Searchpos.view_defined_ref := Viewer.view_defined; - Searchpos.editor_ref.contents <- Editor.f; - - let top = openTkClass "LablBrowser" in - Jg_config.init (); - - bind top events:[[], `Destroy] action:(`Set ([], fun _ -> exit 0)); - at_exit Shell.kill_all; - - - Viewer.f on:top (); - - while true do - try - Printexc.print mainLoop () - with Protocol.TkError _ -> () - done |