diff options
Diffstat (limited to 'otherlibs/labltk/browser/main.ml')
| -rw-r--r-- | otherlibs/labltk/browser/main.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/main.ml b/otherlibs/labltk/browser/main.ml index e6f325f17..2c8bfd184 100644 --- a/otherlibs/labltk/browser/main.ml +++ b/otherlibs/labltk/browser/main.ml @@ -19,7 +19,7 @@ open Tk let _ = let path = ref [] in - let st = ref false in + let st = ref true in Arg.parse [ "-I", Arg.String (fun s -> path := s :: !path), "<dir> Add <dir> to the list of include directories"; @@ -28,7 +28,7 @@ let _ = " Ignore non-optional labels in types"; "-rectypes", Arg.Set Clflags.recursive_types, " Allow arbitrary recursive types"; - "-st", Arg.Set st, " Smalltalk-like one-box browsing"; + "-oldui", Arg.Clear st, " Revert back to old UI"; "-w", Arg.String (fun s -> Shell.warnings := s), "<flags> Enable or disable warnings according to <flags>:\n\ \032 A/a enable/disable all warnings\n\ |