# HG changeset patch
# User wenzelm
# Date 1380473461 -7200
# Node ID 16a0cd5293d9c100c6a8410d02768d55744acb69
# Parent  a269577d97c07e7d0ce421efe9760d930b178b53
explicit caret position after replacement;

diff -r a269577d97c0 -r 16a0cd5293d9 src/Tools/jEdit/src/completion_popup.scala
--- a/src/Tools/jEdit/src/completion_popup.scala	Sun Sep 29 16:01:22 2013 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Sun Sep 29 18:51:01 2013 +0200
@@ -259,6 +259,7 @@
               content.substring(0, caret - len) +
               item.replacement +
               content.substring(caret))
+            text_field.getCaret.setDot(caret - len + item.replacement.length)
           case _ =>
         }
       }