summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--otherlibs/labltk/browser/shell.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml
index ec0a61868..be93ef5fd 100644
--- a/otherlibs/labltk/browser/shell.ml
+++ b/otherlibs/labltk/browser/shell.ml
@@ -152,7 +152,7 @@ object (self)
if reading then reading <- false
else Text.mark_set textw ~mark:"input"
~index:(`Mark"insert",[`Linestart;`Char 1]);
- Text.mark_set textw ~mark:"insert"~index:(`Mark"insert",[`Line 1]);
+ Text.mark_set textw ~mark:"insert" ~index:(`Mark"insert",[`Lineend]);
self#lex ~start:(`Mark"input",[`Linestart]) ();
let s =
(* input is one character before real input *)