@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
- onOpenChanges={gitStatus?.repo ? () => setChangesOpen(true) : undefined}
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>