summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/shell.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-07-25 22:51:47 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-07-25 22:51:47 +0000
commit27da263cebf7af11256f3c8f2ad450338d33395b (patch)
treee30810fa8be38ebe6bfe95e38120a42e698f4657 /otherlibs/labltk/browser/shell.ml
parentf12a554a0d10187affdd845554c7712b0357be4e (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/shell.ml')
-rw-r--r--otherlibs/labltk/browser/shell.ml16
1 files changed, 8 insertions, 8 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml
index 6a62df4c9..e1de45134 100644
--- a/otherlibs/labltk/browser/shell.ml
+++ b/otherlibs/labltk/browser/shell.ml
@@ -121,7 +121,7 @@ object (self)
len
with Unix.Unix_error _ -> 0
end;
- method history (dir : [`next|`previous]) =
+ method history (dir : [`Next|`Previous]) =
if not h#empty then begin
if reading then begin
Text.delete textw ~start:(`Mark"input",[`Char 1])
@@ -131,7 +131,7 @@ object (self)
Text.mark_set textw ~mark:"input"
~index:(`Mark"insert",[`Char(-1)])
end;
- self#insert (if dir = `previous then h#previous else h#next)
+ self#insert (if dir = `Previous then h#previous else h#next)
end
method private lex ?(start = `Mark"insert",[`Linestart])
?(stop = `Mark"insert",[`Lineend]) () =
@@ -176,10 +176,10 @@ object (self)
([], `KeyRelease, [`Char], fun ev -> self#keyrelease ev.ev_Char);
(* [], `KeyPressDetail"Return", [], fun _ -> self#return; *)
([], `ButtonPressDetail 2, [`MouseX; `MouseY], self#paste);
- ([`Alt], `KeyPressDetail"p", [], fun _ -> self#history `previous);
- ([`Alt], `KeyPressDetail"n", [], fun _ -> self#history `next);
- ([`Meta], `KeyPressDetail"p", [], fun _ -> self#history `previous);
- ([`Meta], `KeyPressDetail"n", [], fun _ -> self#history `next);
+ ([`Alt], `KeyPressDetail"p", [], fun _ -> self#history `Previous);
+ ([`Alt], `KeyPressDetail"n", [], fun _ -> self#history `Next);
+ ([`Meta], `KeyPressDetail"p", [], fun _ -> self#history `Previous);
+ ([`Meta], `KeyPressDetail"n", [], fun _ -> self#history `Next);
([`Control], `KeyPressDetail"c", [], fun _ -> self#interrupt);
([], `Destroy, [], fun _ -> self#kill) ]
in
@@ -356,9 +356,9 @@ let f ~prog ~title =
end;
file_menu#add_command "Close" ~command:(fun () -> destroy tl);
history_menu#add_command "Previous " ~accelerator:"M-p"
- ~command:(fun () -> (!sh)#history `previous);
+ ~command:(fun () -> (!sh)#history `Previous);
history_menu#add_command "Next" ~accelerator:"M-n"
- ~command:(fun () -> (!sh)#history `next);
+ ~command:(fun () -> (!sh)#history `Next);
signal_menu#add_command "Interrupt " ~accelerator:"C-c"
~command:(fun () -> (!sh)#interrupt);
signal_menu#add_command "Kill" ~command:(fun () -> (!sh)#kill)