@1agh/maude 1.4.0 → 1.4.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -16818,7 +16818,19 @@ function App() {
|
|
|
16818
16818
|
unpushed={savingIsManaged ? 0 : gitStatus?.unpushed || 0}
|
|
16819
16819
|
savingIsManaged={savingIsManaged}
|
|
16820
16820
|
changesOpen={changesOpen}
|
|
16821
|
-
|
|
16821
|
+
// A REPO IS NOT THE ONLY REASON THIS PANEL HAS SOMETHING TO SHOW.
|
|
16822
|
+
// Under managed saving the panel IS the project's history — every
|
|
16823
|
+
// accepted action with its author, and Undo on the ones that are
|
|
16824
|
+
// yours — and it comes from the hub, not from git. A managed copy on
|
|
16825
|
+
// a designer's machine has no `.git`, so gating the chip on a repo
|
|
16826
|
+
// left the invited designer with no visible way in at all: the View
|
|
16827
|
+
// menu and ⌘⇧G worked, and nothing on screen said so. The chip's own
|
|
16828
|
+
// `savingIsManaged` branch below was already written for this case
|
|
16829
|
+
// and was simply unreachable here. Found running S20 against a live
|
|
16830
|
+
// deployment; asserted in `team-project.e2e.ts` step 4b.
|
|
16831
|
+
onOpenChanges={
|
|
16832
|
+
gitStatus?.repo || savingIsManaged ? () => setChangesOpen(true) : undefined
|
|
16833
|
+
}
|
|
16822
16834
|
version={cfg?.version}
|
|
16823
16835
|
/>
|
|
16824
16836
|
</div>
|