more uniform treatment of open buffer vs. loaded file (NB: setCaretPosition includes selectionNone);

--- a/src/Tools/jEdit/src/jedit_editor.scala	Fri Apr 04 17:31:05 2025 +0200
+++ b/src/Tools/jEdit/src/jedit_editor.scala	Fri Apr 04 19:52:52 2025 +0200
@@ -129,7 +129,7 @@
     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 =