src/Tools/jEdit/src/jedit_editor.scala

         (if (offset < 0) 0 else offset)) min buffer.getLength
 
     JEdit_Lib.jedit_buffer(name) match {
       case Some(buffer) =>
         if (focus) view.goToBuffer(buffer) else view.showBuffer(buffer)
-        view.getTextArea.moveCaretPosition(buffer_offset(buffer))
+        view.getTextArea.setCaretPosition(buffer_offset(buffer))
 
       case None =>
         val is_dir =
           try {
             val vfs = VFSManager.getVFSForPath(name)