suppress current_command for loaded theory, e.g. relevant for Query / Sledgehammer / State;

--- a/src/Tools/VSCode/src/language_server.scala	Wed Jul 30 13:47:56 2025 +0200
+++ b/src/Tools/VSCode/src/language_server.scala	Wed Jul 30 13:56:41 2025 +0200
@@ -579,8 +579,9 @@
 
     def current_command(snapshot: Document.Snapshot): Option[Command] = {
       resources.get_caret() match {
-        case Some(caret) => snapshot.current_command(caret.node_name, caret.offset)
-        case None => None
+        case Some(caret) if snapshot.loaded_theory_command.isEmpty =>
+          snapshot.current_command(caret.node_name, caret.offset)
+        case _ => None
       }
     }
     override def current_command(context: Unit, snapshot: Document.Snapshot): Option[Command] =

--- a/src/Tools/jEdit/src/jedit_editor.scala	Wed Jul 30 13:47:56 2025 +0200
+++ b/src/Tools/jEdit/src/jedit_editor.scala	Wed Jul 30 13:56:41 2025 +0200
@@ -82,9 +82,9 @@
     GUI_Thread.require {
       val text_area = view.getTextArea
       Document_View.get(text_area) match {
-        case Some(doc_view) =>
+        case Some(doc_view) if snapshot.loaded_theory_command.isEmpty =>
           snapshot.current_command(doc_view.model.node_name, text_area.getCaretPosition)
-        case None => None
+        case _ => None
       }
     }