diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_toplevel.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_toplevel.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/jg_toplevel.ml b/otherlibs/labltk/browser/jg_toplevel.ml index 8b4fb1778..46fd376d2 100644 --- a/otherlibs/labltk/browser/jg_toplevel.ml +++ b/otherlibs/labltk/browser/jg_toplevel.ml @@ -18,7 +18,7 @@ open Tk let titled ?iconname title = let iconname = match iconname with None -> title | Some s -> s in let tl = Toplevel.create Widget.default_toplevel in - Wm.title_set tl ~title; - Wm.iconname_set tl ~name:iconname; + Wm.title_set tl title; + Wm.iconname_set tl iconname; Wm.group_set tl ~leader: Widget.default_toplevel; tl |