--- a/src/Tools/jEdit/src/document_dockable.scala	Fri Feb 03 21:25:17 2023 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Fri Feb 03 22:39:59 2023 +0100
@@ -232,7 +232,6 @@
         if (!ok) {
           Document_Editor.write_document(document_session.selection,
             engine.build_document(context, directory, verbose = true))
-          Document_Editor.view_document()
         }
       }
     }