diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_toplevel.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_toplevel.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/labltk/browser/jg_toplevel.ml b/otherlibs/labltk/browser/jg_toplevel.ml index fbae706ad..8b4fb1778 100644 --- a/otherlibs/labltk/browser/jg_toplevel.ml +++ b/otherlibs/labltk/browser/jg_toplevel.ml @@ -15,10 +15,10 @@ open Tk -let titled ?:iconname title = +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.group_set tl leader: Widget.default_toplevel; + Wm.title_set tl ~title; + Wm.iconname_set tl ~name:iconname; + Wm.group_set tl ~leader: Widget.default_toplevel; tl |