diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-03-15 07:55:24 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-03-15 07:55:24 +0000 |
commit | 68366b25009f92c180dc690d9fc80f255add2494 (patch) | |
tree | 244ad918be03433c859dbd2281a3f80e61f42aeb /otherlibs/labltk/browser/shell.ml | |
parent | 31f70a75d4f3afc3b412736254ba87020030e12d (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.ml | 8 |
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)) |