deploy.

2026-09-15 01:12:50 +08:00
parent 2db889ad89
commit 1a75503105
99 changed files with 4168 additions and 726 deletions
@@ -217,10 +217,11 @@ underneath — so a Save from any of them writes to the new path. A stale row co
 time the service reports its state to that browser: a reload, the browser's status connection
 dropping and coming back, another project change, or a run being started, paused, finished or reset
 from any browser.</p>
-<p>New, Load, ReLoad, Save and Save As take a turn each. A second one asked for while the first is still
-running is refused rather than queued, and the refusal arrives as a warning reading <em>Another project
-operation is in progress. Please try again.</em> Close Project takes no part in that turn-taking: it
-neither waits for a running operation nor holds one off, and it never raises the warning.</p>
+<p>New, Load, ReLoad, Save, Save As and Close Project take a turn each. A second one asked for while the
+first is still running is refused rather than queued, and the refusal arrives as a warning reading
+<em>Another project operation is in progress. Please try again.</em> Close Project holds the turn like the
+other five: a Close asked for while a Load is still reading is refused, and so is a Load asked for
+while a Close is still tearing the project down.</p>
 <h2 id="losing-work">Losing work</h2>
 <p>Nothing keeps track of whether the open project has unsaved changes. No marker in the menu bar or in
 the path row says the project has been edited, there is no prompt in front of <strong>ReLoad</strong> or <strong>Close