diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-07-25 22:51:47 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-07-25 22:51:47 +0000 |
| commit | 27da263cebf7af11256f3c8f2ad450338d33395b (patch) | |
| tree | e30810fa8be38ebe6bfe95e38120a42e698f4657 /otherlibs/labltk/browser/editor.ml | |
| parent | f12a554a0d10187affdd845554c7712b0357be4e (diff) | |
capitalize variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/editor.ml')
| -rw-r--r-- | otherlibs/labltk/browser/editor.ml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index a8cca85ac..ea2ad967e 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -409,7 +409,7 @@ class editor ~top ~menus = object (self) end else begin match Jg_message.ask ~master:top ~title:"Save" ("File `" ^ name ^ "' exists. Overwrite it?") - with `yes -> () | `no | `cancel -> raise Exit + with `Yes -> Sys.remove name | `No | `Cancel -> raise Exit end; let file = open_out name in let text = Text.get txt.tw ~start:tstart ~stop:(tposend 1) in @@ -432,9 +432,9 @@ class editor ~top ~menus = object (self) if Textvariable.get txt.modified = "modified" then begin match Jg_message.ask ~master:top ~title:"Open" ("`" ^ Filename.basename txt.name ^ "' modified. Save it?") - with `yes -> self#save_text txt - | `no -> () - | `cancel -> raise Exit + with `Yes -> self#save_text txt + | `No -> () + | `Cancel -> raise Exit end; Checkbutton.deselect label; (Text.index current_tw ~index:(`Mark"insert", []), []) @@ -469,9 +469,9 @@ class editor ~top ~menus = object (self) if Textvariable.get txt.modified = "modified" then begin match Jg_message.ask ~master:top ~title:"Close" ("`" ^ Filename.basename txt.name ^ "' modified. Save it?") - with `yes -> self#save_text txt - | `no -> () - | `cancel -> raise Exit + with `Yes -> self#save_text txt + | `No -> () + | `Cancel -> raise Exit end; windows <- exclude txt windows; if windows = [] then @@ -495,9 +495,9 @@ class editor ~top ~menus = object (self) if Textvariable.get txt.modified = "modified" then match Jg_message.ask ~master:top ~title:"Quit" ~cancel ("`" ^ Filename.basename txt.name ^ "' modified. Save it?") - with `yes -> self#save_text txt - | `no -> () - | `cancel -> raise Exit + with `Yes -> self#save_text txt + | `No -> () + | `Cancel -> raise Exit end; bind top ~events:[`Destroy]; destroy top |