diff options
Diffstat (limited to 'otherlibs/labltk/browser/viewer.ml')
| -rw-r--r-- | otherlibs/labltk/browser/viewer.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/viewer.ml b/otherlibs/labltk/browser/viewer.ml index 7ec4aad9e..4d7afb496 100644 --- a/otherlibs/labltk/browser/viewer.ml +++ b/otherlibs/labltk/browser/viewer.ml @@ -265,8 +265,8 @@ let f ?(dir=Unix.getcwd()) ?on () = let tl = Jg_toplevel.titled "Module viewer" in ignore (Jg_bind.escape_destroy tl); coe tl | Some top -> - Wm.title_set top ~title:"OCamlBrowser"; - Wm.iconname_set top ~name:"OCamlBrowser"; + Wm.title_set top "OCamlBrowser"; + Wm.iconname_set top "OCamlBrowser"; let tl = Frame.create top in pack [tl] ~expand:true ~fill:`Both; coe tl |