tuned: setCaretPosition already includes selectNone;

--- a/src/Tools/jEdit/src/isabelle.scala	Fri Apr 04 15:23:11 2025 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Fri Apr 04 16:35:05 2025 +0200
@@ -465,8 +465,7 @@
         else Symbol.cartouche(arg.get)
 
       buffer.remove(antiq_range.start, antiq_range.length)
-      text_area.moveCaretPosition(antiq_range.start)
-      text_area.selectNone
+      text_area.setCaretPosition(antiq_range.start)
       text_area.setSelectedText(op_text + arg_text)
     }
   }