diff options
Diffstat (limited to 'otherlibs/labltk/browser')
| -rw-r--r-- | otherlibs/labltk/browser/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/main.ml b/otherlibs/labltk/browser/main.ml index 5918412d0..55aa4be2f 100644 --- a/otherlibs/labltk/browser/main.ml +++ b/otherlibs/labltk/browser/main.ml @@ -18,7 +18,7 @@ let _ = Searchpos.view_defined_ref := Viewer.view_defined; Searchpos.editor_ref.contents <- Editor.f; - let top = openTkClass "OCamlBrowser" in + let top = openTk class:"OCamlBrowser" () in Jg_config.init (); bind top events:[[], `Destroy] action:(`Set ([], fun _ -> exit 0)); |