diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-01-17 05:19:37 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-01-17 05:19:37 +0000 |
| commit | e10ee30680bb37b4e46c9d709e5b87918dd417be (patch) | |
| tree | 4aba6a4f39e1b17df162f2e21c7a1254aa47fd7a | |
| parent | 9c8d3d777f94375b9665c8babf1060f3ee443b0e (diff) | |
change editor title
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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]; |