summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/shell.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-03-15 07:55:24 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-03-15 07:55:24 +0000
commit68366b25009f92c180dc690d9fc80f255add2494 (patch)
tree244ad918be03433c859dbd2281a3f80e61f42aeb /otherlibs/labltk/browser/shell.ml
parent31f70a75d4f3afc3b412736254ba87020030e12d (diff)
sorry for the tabs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/shell.ml')
-rw-r--r--otherlibs/labltk/browser/shell.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml
index 4f7dab265..aab1353dd 100644
--- a/otherlibs/labltk/browser/shell.ml
+++ b/otherlibs/labltk/browser/shell.ml
@@ -115,8 +115,8 @@ object (self)
let buf = String.create :len in
let len = Unix.read fd :buf pos:0 :len in
if len > 0 then begin
- self#insert (String.sub buf pos:0 :len);
- Text.mark_set textw mark:"input" index:(`Mark"insert",[`Char(-1)])
+ self#insert (String.sub buf pos:0 :len);
+ Text.mark_set textw mark:"input" index:(`Mark"insert",[`Char(-1)])
end;
len
with Unix.Unix_error _ -> 0
@@ -207,7 +207,7 @@ object (self)
self#insert (Str.global_replace pat:~"\r\n" with:"\n"
(Buffer.contents ibuffer));
Buffer.reset ibuffer;
- Text.mark_set textw mark:"input" index:(`Mark"insert",[`Char(-1)])
+ Text.mark_set textw mark:"input" index:(`Mark"insert",[`Char(-1)])
end;
Mutex.unlock imutex;
Timer.set ms:100 callback:read_buffer
@@ -215,7 +215,7 @@ object (self)
read_buffer ()
end else begin
try
- List.iter [in1;err1] fun:
+ List.iter [in1;err1] fun:
begin fun fd ->
Fileevent.add_fileinput :fd
callback:(fun () -> ignore (self#read :fd len:1024))