diff options
Diffstat (limited to 'otherlibs/labltk/browser')
| -rw-r--r-- | otherlibs/labltk/browser/editor.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index fe35cf70b..cead6e0fa 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -657,7 +657,7 @@ let editor ?file ?(pos=0) ?(reuse=false) () = already_open := [] (* List.filter !already_open ~f:((<>) ed) *); false then () else - let top = Jg_toplevel.titled "Editor" in + let top = Jg_toplevel.titled "OCamlBrowser Editor" in let menus = Frame.create top ~name:"menubar" in let ed = new editor ~top ~menus in already_open := !already_open @ [ed]; |