@1agh/maude 1.2.0 → 1.3.0
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.
- package/README.md +3 -1
- package/apps/studio/acp/index.ts +43 -7
- package/apps/studio/annotations-layer.tsx +191 -116
- package/apps/studio/annotations-model.ts +39 -0
- package/apps/studio/annotations-sync.ts +50 -0
- package/apps/studio/api.ts +689 -36
- package/apps/studio/bin/annotate.mjs +3 -1
- package/apps/studio/bin/server-up.sh +17 -2
- package/apps/studio/canvas-edit.ts +391 -7
- package/apps/studio/canvas-lib.tsx +82 -18
- package/apps/studio/canvas-notice-message.ts +16 -0
- package/apps/studio/canvas-notifications.tsx +19 -0
- package/apps/studio/canvas-shell.tsx +57 -6
- package/apps/studio/client/app.jsx +686 -241
- package/apps/studio/client/apply-edit-request.ts +55 -0
- package/apps/studio/client/export-center.jsx +111 -61
- package/apps/studio/client/github.js +38 -1
- package/apps/studio/client/index-loader.ts +76 -0
- package/apps/studio/client/panels/CloudBar.jsx +52 -6
- package/apps/studio/client/panels/GitPanel.jsx +103 -0
- package/apps/studio/client/panels/OnboardingWizard.jsx +36 -7
- package/apps/studio/client/panels/RepoBranchSwitcher.jsx +92 -27
- package/apps/studio/client/panels/SourceConflictPanel.jsx +166 -0
- package/apps/studio/client/panels/SyncPanel.jsx +113 -0
- package/apps/studio/client/panels/TeamProjects.jsx +376 -0
- package/apps/studio/client/panels/file-deep-link-dialog.jsx +54 -0
- package/apps/studio/client/photo-knobs.jsx +3 -0
- package/apps/studio/client/share-dialog.jsx +91 -0
- package/apps/studio/client/share-link.js +94 -0
- package/apps/studio/client/styles/3-shell-maude.css +35 -18
- package/apps/studio/client/styles/4-components.css +18 -1
- package/apps/studio/client/tree-row-menu.jsx +48 -3
- package/apps/studio/client/whats-new.jsx +26 -32
- package/apps/studio/cloud/endpoints.ts +132 -0
- package/apps/studio/collab/index.ts +4 -0
- package/apps/studio/collab/persistence.ts +5 -1
- package/apps/studio/collab/registry.ts +9 -3
- package/apps/studio/collab/room.ts +13 -2
- package/apps/studio/context.ts +59 -0
- package/apps/studio/dist/client.bundle.js +1586 -1554
- package/apps/studio/dist/runtime/.min-sizes.json +1 -0
- package/apps/studio/dist/runtime/sonner.js +1 -0
- package/apps/studio/dist/styles.css +1 -1
- package/apps/studio/http.ts +289 -18
- package/apps/studio/inspect.ts +19 -0
- package/apps/studio/managed-projects.ts +150 -0
- package/apps/studio/notifications.tsx +292 -0
- package/apps/studio/runtime-bundle.ts +2 -0
- package/apps/studio/server.ts +59 -3
- package/apps/studio/sync/accepted-cold-start.ts +225 -0
- package/apps/studio/sync/accepted-link.ts +320 -0
- package/apps/studio/sync/action-stage.ts +343 -0
- package/apps/studio/sync/agent.ts +12 -60
- package/apps/studio/sync/cell-file-events.ts +3 -0
- package/apps/studio/sync/codec.ts +73 -6
- package/apps/studio/sync/ctl-provider.ts +15 -2
- package/apps/studio/sync/document-discovery.ts +81 -0
- package/apps/studio/sync/file-membership.ts +10 -2
- package/apps/studio/sync/file-plane.ts +309 -26
- package/apps/studio/sync/index.ts +1078 -19
- package/apps/studio/sync/migrate-seed.ts +110 -19
- package/apps/studio/sync/poke.ts +4 -2
- package/apps/studio/sync/presentation.ts +285 -2
- package/apps/studio/sync/projection.ts +820 -23
- package/apps/studio/sync/repeated-module.ts +73 -0
- package/apps/studio/sync/revision-barrier.ts +129 -0
- package/apps/studio/sync/seed-repair.ts +46 -0
- package/apps/studio/sync/source-merge.ts +100 -0
- package/apps/studio/sync/source-ops.ts +289 -0
- package/apps/studio/sync/source-recovery.ts +70 -0
- package/apps/studio/sync/source-validation.ts +56 -0
- package/apps/studio/sync/status.ts +79 -1
- package/apps/studio/sync/transaction-client.ts +460 -0
- package/apps/studio/sync/writer-registry.ts +236 -0
- package/apps/studio/text-caret.ts +35 -0
- package/apps/studio/undo-hud.tsx +9 -87
- package/apps/studio/use-canvas-media-drop.tsx +4 -39
- package/apps/studio/whats-new.json +101 -0
- package/cli/lib/harness/codex-runtime.mjs +4 -1
- package/package.json +9 -8
- package/plugins/design/dependencies.json +3 -3
- package/plugins/design/templates/_shell.html +47 -0
- package/plugins/flow/dependencies.json +3 -3
|
@@ -185,6 +185,11 @@ export default function GitPanel({
|
|
|
185
185
|
// `{ branch, project, hubHost }` — what the cell reported alongside the log.
|
|
186
186
|
// Null until the first successful cloud load.
|
|
187
187
|
cloudHistory = null,
|
|
188
|
+
// Accepted revisions (DDR-241, T27/T28): restore the open canvas to a
|
|
189
|
+
// revision as a NEW action, and undo one of my own actions. Each resolves
|
|
190
|
+
// true when the project accepted it.
|
|
191
|
+
onRestoreVersion,
|
|
192
|
+
onUndoAction,
|
|
188
193
|
}) {
|
|
189
194
|
const withdrawn = historyOnly || cloudManaged;
|
|
190
195
|
const cloudHistorySource = historySource === 'cloud';
|
|
@@ -878,6 +883,20 @@ export default function GitPanel({
|
|
|
878
883
|
</div>
|
|
879
884
|
) : (
|
|
880
885
|
log.map((c) => {
|
|
886
|
+
if (c.accepted) {
|
|
887
|
+
return (
|
|
888
|
+
<AcceptedRow
|
|
889
|
+
key={c.sha}
|
|
890
|
+
row={c}
|
|
891
|
+
activeName={activeName}
|
|
892
|
+
previewable={previewable}
|
|
893
|
+
onPreview={() => onPreviewVersion(c.sha)}
|
|
894
|
+
onRestore={onRestoreVersion}
|
|
895
|
+
onUndo={onUndoAction}
|
|
896
|
+
onDone={reloadHistory}
|
|
897
|
+
/>
|
|
898
|
+
);
|
|
899
|
+
}
|
|
881
900
|
const body = (
|
|
882
901
|
<>
|
|
883
902
|
<span className="gp-version-rail">
|
|
@@ -920,3 +939,87 @@ export default function GitPanel({
|
|
|
920
939
|
</aside>
|
|
921
940
|
);
|
|
922
941
|
}
|
|
942
|
+
|
|
943
|
+
/**
|
|
944
|
+
* One accepted project action (DDR-241, T27/T28). Preview uses the ordinary
|
|
945
|
+
* version preview (`r<revision>`); Restore makes a NEW action — nothing in
|
|
946
|
+
* history is rewound; Undo reverts only my own action, and only the parts a
|
|
947
|
+
* teammate has not changed since (the project refuses otherwise).
|
|
948
|
+
*/
|
|
949
|
+
function AcceptedRow({ row, activeName, previewable, onPreview, onRestore, onUndo, onDone }) {
|
|
950
|
+
const [busy, setBusy] = useState(null);
|
|
951
|
+
const [note, setNote] = useState(null);
|
|
952
|
+
const { revision, actionId, mine, undo } = row.accepted;
|
|
953
|
+
const run = async (kind, fn) => {
|
|
954
|
+
setBusy(kind);
|
|
955
|
+
setNote(null);
|
|
956
|
+
const ok = await fn();
|
|
957
|
+
setBusy(null);
|
|
958
|
+
setNote(
|
|
959
|
+
ok
|
|
960
|
+
? kind === 'restore'
|
|
961
|
+
? 'Restored — a new version was added.'
|
|
962
|
+
: 'Undone.'
|
|
963
|
+
: kind === 'restore'
|
|
964
|
+
? 'The project did not accept the restore.'
|
|
965
|
+
: 'Someone changed this since — nothing was undone.'
|
|
966
|
+
);
|
|
967
|
+
if (ok) onDone?.();
|
|
968
|
+
};
|
|
969
|
+
return (
|
|
970
|
+
<div className="gp-version" role="listitem" data-testid={`project-history-row-${revision}`}>
|
|
971
|
+
<span className="gp-version-rail">
|
|
972
|
+
<span className="gp-version-node" />
|
|
973
|
+
</span>
|
|
974
|
+
<span className="gp-version-body">
|
|
975
|
+
<span className="gp-version-msg">{row.message || '(no description)'}</span>
|
|
976
|
+
<span className="gp-version-meta">
|
|
977
|
+
{row.author} · version {revision}
|
|
978
|
+
</span>
|
|
979
|
+
{note && (
|
|
980
|
+
<span className="gp-version-meta" role="status" aria-live="polite">
|
|
981
|
+
{note}
|
|
982
|
+
</span>
|
|
983
|
+
)}
|
|
984
|
+
</span>
|
|
985
|
+
<span className="gp-version-when">{timeAgo(row.date)}</span>
|
|
986
|
+
<span className="gp-version-actions">
|
|
987
|
+
{previewable && (
|
|
988
|
+
<button
|
|
989
|
+
type="button"
|
|
990
|
+
className="btn btn--sm btn--ghost"
|
|
991
|
+
data-testid={`project-history-preview-${revision}`}
|
|
992
|
+
onClick={onPreview}
|
|
993
|
+
title={`Preview ${activeName} at this version`}
|
|
994
|
+
>
|
|
995
|
+
<Icon name="diff" size={13} /> Preview
|
|
996
|
+
</button>
|
|
997
|
+
)}
|
|
998
|
+
{previewable && onRestore && (
|
|
999
|
+
<button
|
|
1000
|
+
type="button"
|
|
1001
|
+
className="btn btn--sm btn--ghost"
|
|
1002
|
+
data-testid={`project-history-restore-${revision}`}
|
|
1003
|
+
disabled={busy !== null}
|
|
1004
|
+
onClick={() => run('restore', () => onRestore(revision))}
|
|
1005
|
+
title={`Make ${activeName} look like this version again (adds a new version)`}
|
|
1006
|
+
>
|
|
1007
|
+
{busy === 'restore' ? 'Restoring…' : 'Restore'}
|
|
1008
|
+
</button>
|
|
1009
|
+
)}
|
|
1010
|
+
{mine && !undo && onUndo && (
|
|
1011
|
+
<button
|
|
1012
|
+
type="button"
|
|
1013
|
+
className="btn btn--sm btn--ghost"
|
|
1014
|
+
data-testid={`project-history-undo-${revision}`}
|
|
1015
|
+
disabled={busy !== null}
|
|
1016
|
+
onClick={() => run('undo', () => onUndo(actionId))}
|
|
1017
|
+
title="Undo this change of yours (a teammate's later edits are kept)"
|
|
1018
|
+
>
|
|
1019
|
+
{busy === 'undo' ? 'Undoing…' : 'Undo'}
|
|
1020
|
+
</button>
|
|
1021
|
+
)}
|
|
1022
|
+
</span>
|
|
1023
|
+
</div>
|
|
1024
|
+
);
|
|
1025
|
+
}
|
|
@@ -1,10 +1,12 @@
|
|
|
1
1
|
// Phase 29 (epic E4) Task 3 — the first-run onboarding wizard.
|
|
2
2
|
//
|
|
3
3
|
// Mounts full-screen on first launch (app.jsx checks `app_is_first_run` via the
|
|
4
|
-
// Tauri shell) OVER the empty welcome project the sidecar boots.
|
|
4
|
+
// Tauri shell) OVER the empty welcome project the sidecar boots. Four doors,
|
|
5
5
|
// GitHub first: (A) Continue with GitHub — sign in (device flow) → open a shared
|
|
6
|
-
// project or start a new one; (
|
|
7
|
-
//
|
|
6
|
+
// project or start a new one; (T) Open a project you were invited to — Maude
|
|
7
|
+
// Cloud or a team server's email/password, opened as a managed copy with no
|
|
8
|
+
// folder to choose (plan T22); (B) Open a folder on this computer; (C) Connect to
|
|
9
|
+
// a team hub with a token (advanced). Every door ends by switching the sidecar to a real project
|
|
8
10
|
// (`open_local_project`), which reloads the webview — at which point first-run is
|
|
9
11
|
// false and the wizard no longer mounts. Built 1:1 with `.design/ui/Onboarding.tsx`;
|
|
10
12
|
// CSS (`ob-*`) lives in client/styles/3-shell-maude.css. Renders nothing outside the
|
|
@@ -14,6 +16,7 @@ import { useEffect, useRef, useState } from 'react';
|
|
|
14
16
|
|
|
15
17
|
import ReadinessList, { useReadiness } from './ReadinessList.jsx';
|
|
16
18
|
import IntroVideoDialog from './IntroVideoDialog.jsx';
|
|
19
|
+
import TeamProjects from './TeamProjects.jsx';
|
|
17
20
|
import {
|
|
18
21
|
cloneRepo,
|
|
19
22
|
createProject,
|
|
@@ -180,7 +183,7 @@ function AiReadiness() {
|
|
|
180
183
|
}
|
|
181
184
|
|
|
182
185
|
// ── A · Welcome (door picker) ────────────────────────────────────────────────
|
|
183
|
-
function Welcome({ onGithub, onLocal, onHub, signing, signedIn, identity }) {
|
|
186
|
+
function Welcome({ onGithub, onLocal, onHub, onTeam, signing, signedIn, identity }) {
|
|
184
187
|
const [introOpen, setIntroOpen] = useState(false);
|
|
185
188
|
return (
|
|
186
189
|
<main className="ob-main">
|
|
@@ -209,6 +212,16 @@ function Welcome({ onGithub, onLocal, onHub, signing, signedIn, identity }) {
|
|
|
209
212
|
<span className="btn btn--primary ob-door-btn"><GitHubMark size={15} /> {signing ? 'Starting…' : signedIn ? 'Continue' : 'Sign in with GitHub'}</span>
|
|
210
213
|
</span>
|
|
211
214
|
</button>
|
|
215
|
+
{/* Plan T22 — a designer who was added to a project picks it and works:
|
|
216
|
+
no folder, no Git, no token. */}
|
|
217
|
+
<button type="button" data-testid="ob-door-team" className="ob-door" aria-label="Open a project you were invited to" onClick={onTeam}>
|
|
218
|
+
<span className="ob-door-icon"><Icon name="link" size={22} /></span>
|
|
219
|
+
<span className="ob-door-tx">
|
|
220
|
+
<span className="ob-door-title">Open a project you were invited to</span>
|
|
221
|
+
<span className="ob-door-sub">Sign in to Maude Cloud or your team’s server, pick the project, and start designing.</span>
|
|
222
|
+
</span>
|
|
223
|
+
<span className="ob-door-go" aria-hidden="true"><Icon name="chevron-right" size={16} /></span>
|
|
224
|
+
</button>
|
|
212
225
|
<button type="button" data-testid="ob-door-local" className="ob-door" aria-label="Open a folder on this computer" onClick={onLocal}>
|
|
213
226
|
<span className="ob-door-icon"><Icon name="folder-open" size={22} /></span>
|
|
214
227
|
<span className="ob-door-tx">
|
|
@@ -503,7 +516,22 @@ function HubDoor({ onBack }) {
|
|
|
503
516
|
</div>
|
|
504
517
|
)}
|
|
505
518
|
</div>
|
|
506
|
-
<p className="ob-foot-note">
|
|
519
|
+
<p className="ob-foot-note">Were you given an email and password for your team’s server? Use <b>Open a project you were invited to</b> instead — no token needed.</p>
|
|
520
|
+
</main>
|
|
521
|
+
);
|
|
522
|
+
}
|
|
523
|
+
|
|
524
|
+
// ── E · Team project door (plan T22) ─────────────────────────────────────────
|
|
525
|
+
function TeamDoor({ onBack }) {
|
|
526
|
+
return (
|
|
527
|
+
<main className="ob-main">
|
|
528
|
+
<BackBar onBack={onBack} />
|
|
529
|
+
<header className="ob-head">
|
|
530
|
+
<span className="ob-eyebrow">Your team</span>
|
|
531
|
+
<h1>Open your team’s project</h1>
|
|
532
|
+
<p>Pick a project you were added to. Maude keeps its copy on this computer — nothing to set up.</p>
|
|
533
|
+
</header>
|
|
534
|
+
<TeamProjects variant="door" />
|
|
507
535
|
</main>
|
|
508
536
|
);
|
|
509
537
|
}
|
|
@@ -547,7 +575,7 @@ function DeviceCodeModal({ device, onClose }) {
|
|
|
547
575
|
|
|
548
576
|
export default function OnboardingWizard() {
|
|
549
577
|
const native = isNativeApp();
|
|
550
|
-
const [door, setDoor] = useState('welcome'); // welcome | github | local | hub
|
|
578
|
+
const [door, setDoor] = useState('welcome'); // welcome | github | local | hub | team
|
|
551
579
|
const [identity, setIdentity] = useState(null);
|
|
552
580
|
const [signedIn, setSignedIn] = useState(false);
|
|
553
581
|
const [signing, setSigning] = useState(false);
|
|
@@ -599,10 +627,11 @@ export default function OnboardingWizard() {
|
|
|
599
627
|
<div className="ob-overlay" data-testid="onboarding-wizard" role="dialog" aria-modal="true" aria-label="Welcome to Maude">
|
|
600
628
|
<div className="ob-shell">
|
|
601
629
|
<Rail signedInAs={signedIn ? identity?.login : null} />
|
|
602
|
-
{door === 'welcome' && <Welcome signing={signing} signedIn={signedIn} identity={identity} onGithub={handleGithub} onLocal={() => setDoor('local')} onHub={() => setDoor('hub')} />}
|
|
630
|
+
{door === 'welcome' && <Welcome signing={signing} signedIn={signedIn} identity={identity} onGithub={handleGithub} onLocal={() => setDoor('local')} onHub={() => setDoor('hub')} onTeam={() => setDoor('team')} />}
|
|
603
631
|
{door === 'github' && <GitHubDoor identity={identity} onBack={() => setDoor('welcome')} />}
|
|
604
632
|
{door === 'local' && <LocalDoor onBack={() => setDoor('welcome')} />}
|
|
605
633
|
{door === 'hub' && <HubDoor onBack={() => setDoor('welcome')} />}
|
|
634
|
+
{door === 'team' && <TeamDoor onBack={() => setDoor('welcome')} />}
|
|
606
635
|
</div>
|
|
607
636
|
{err && door === 'welcome' && (
|
|
608
637
|
<div className="ob-toast callout callout--error" role="alert"><span className="ob-callout-glyph" style={{ color: 'var(--status-error)' }}><Icon name="x" /></span><span>{err}</span></div>
|
|
@@ -15,11 +15,13 @@
|
|
|
15
15
|
// flushes Yjs first — DDR-051, not duplicated here); "Merge → main" → POST
|
|
16
16
|
// /_api/git/fold; "Fetch remote branches" → POST /_api/git/fetch. The local branch
|
|
17
17
|
// list is re-asserted from disk on every popup open (DDR-133) so a flaky network never
|
|
18
|
-
// blanks it.
|
|
18
|
+
// blanks it. A project that is not a git repo — a managed team project (plan T22)
|
|
19
|
+
// — gets the Project section alone. CSS in 3-shell-maude.css.
|
|
19
20
|
|
|
20
21
|
import { useEffect, useRef, useState } from 'react';
|
|
21
22
|
|
|
22
|
-
import { appRecentProjects, isNativeApp, openGitHubUrl, openLocalProject, pickDirectory } from '../github.js';
|
|
23
|
+
import { appRecentProjects, isNativeApp, managedProjectsList, openGitHubUrl, openLocalProject, pickDirectory } from '../github.js';
|
|
24
|
+
import { TeamProjectsDialog } from './TeamProjects.jsx';
|
|
23
25
|
|
|
24
26
|
const SHARED = new Set(['main', 'master']);
|
|
25
27
|
|
|
@@ -55,6 +57,15 @@ function Icon({ name, size = 16, className }) {
|
|
|
55
57
|
);
|
|
56
58
|
}
|
|
57
59
|
|
|
60
|
+
/**
|
|
61
|
+
* The name to show for a recent project path: a managed team copy lives under a
|
|
62
|
+
* key like `acme.cloud.maude.sh--alligators`, so it shows the project's name.
|
|
63
|
+
*/
|
|
64
|
+
export function recentProjectLabel(path, managed) {
|
|
65
|
+
const m = (managed || []).find((x) => x.path === path);
|
|
66
|
+
return m ? { name: m.name, sub: m.server_url.replace(/^https?:\/\//, '') } : { name: basename(path), sub: path };
|
|
67
|
+
}
|
|
68
|
+
|
|
58
69
|
function basename(p) {
|
|
59
70
|
return String(p).replace(/[/\\]+$/, '').split(/[/\\]/).pop() || String(p);
|
|
60
71
|
}
|
|
@@ -121,11 +132,13 @@ export function chatGuardCopy({ count, branch, verb }) {
|
|
|
121
132
|
};
|
|
122
133
|
}
|
|
123
134
|
|
|
124
|
-
export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, onGetLatest }) {
|
|
135
|
+
export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, onGetLatest, projectOnly = false }) {
|
|
125
136
|
const native = isNativeApp();
|
|
126
137
|
const [status, setStatus] = useState(null); // { repo, branch }
|
|
127
138
|
const [branches, setBranches] = useState([]);
|
|
128
139
|
const [recents, setRecents] = useState([]);
|
|
140
|
+
const [managed, setManaged] = useState([]);
|
|
141
|
+
const [teamOpen, setTeamOpen] = useState(false);
|
|
129
142
|
const [open, setOpen] = useState(false);
|
|
130
143
|
const [newDraft, setNewDraft] = useState(false);
|
|
131
144
|
const [draftName, setDraftName] = useState('');
|
|
@@ -187,6 +200,7 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
|
|
|
187
200
|
} catch { /* not a repo / offline */ }
|
|
188
201
|
})();
|
|
189
202
|
if (native) appRecentProjects().then((r) => alive && setRecents(r || [])).catch(() => {});
|
|
203
|
+
if (native) managedProjectsList().then((r) => alive && setManaged(Array.isArray(r) ? r : [])).catch(() => {});
|
|
190
204
|
return () => { alive = false; };
|
|
191
205
|
}, [native]);
|
|
192
206
|
|
|
@@ -208,8 +222,78 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
|
|
|
208
222
|
return () => document.removeEventListener('mousedown', onDoc);
|
|
209
223
|
}, [open, newDraft]);
|
|
210
224
|
|
|
211
|
-
//
|
|
212
|
-
|
|
225
|
+
// The Project section on its own: recents, a team project, a folder. Shared by
|
|
226
|
+
// the full popup and the project-only dock below.
|
|
227
|
+
const projectSection = (
|
|
228
|
+
<>
|
|
229
|
+
<div className="rb-pop-hd">Project</div>
|
|
230
|
+
{native && recents.length > 0 ? (
|
|
231
|
+
recents.map((p, i) => {
|
|
232
|
+
const label = recentProjectLabel(p, managed);
|
|
233
|
+
return (
|
|
234
|
+
<button type="button" key={p} className={'rb-pop-item' + (i === 0 ? ' is-current' : '')} role="menuitem" onClick={() => switchRepo(p)}>
|
|
235
|
+
<span className="rb-pop-icon"><Icon name={managed.some((m) => m.path === p) ? 'share' : 'folder'} size={14} /></span>
|
|
236
|
+
<span className="rb-pop-tx">
|
|
237
|
+
<span className="rb-pop-name">{label.name}</span>
|
|
238
|
+
<span className="rb-pop-sub">{label.sub}</span>
|
|
239
|
+
</span>
|
|
240
|
+
{i === 0 ? <Icon name="check" size={14} className="rb-pop-check" /> : null}
|
|
241
|
+
</button>
|
|
242
|
+
);
|
|
243
|
+
})
|
|
244
|
+
) : (
|
|
245
|
+
<div className="rb-pop-sub" style={{ padding: 'var(--space-2) var(--space-3)' }}>{native ? 'No other recent projects.' : 'Open another project from the desktop app.'}</div>
|
|
246
|
+
)}
|
|
247
|
+
{native && (
|
|
248
|
+
<button type="button" className="rb-pop-item rb-pop-item--action" role="menuitem" data-testid="switcher-open-team" onClick={() => { setOpen(false); setTeamOpen(true); }}>
|
|
249
|
+
<span className="rb-pop-icon"><Icon name="share" size={14} /></span>
|
|
250
|
+
<span className="rb-pop-tx"><span className="rb-pop-name">Open a team project…</span></span>
|
|
251
|
+
</button>
|
|
252
|
+
)}
|
|
253
|
+
{native && (
|
|
254
|
+
<button type="button" className="rb-pop-item rb-pop-item--action" role="menuitem" onClick={openAnother}>
|
|
255
|
+
<span className="rb-pop-icon"><Icon name="folder-open" size={14} /></span>
|
|
256
|
+
<span className="rb-pop-tx"><span className="rb-pop-name">Open another folder…</span></span>
|
|
257
|
+
</button>
|
|
258
|
+
)}
|
|
259
|
+
</>
|
|
260
|
+
);
|
|
261
|
+
const teamDialog = teamOpen ? <TeamProjectsDialog onClose={() => setTeamOpen(false)} /> : null;
|
|
262
|
+
|
|
263
|
+
// A project that isn't a git repo — a managed team project — has no branches;
|
|
264
|
+
// it still needs the way to another project.
|
|
265
|
+
if (native && status && (!status.repo || projectOnly)) {
|
|
266
|
+
const name = project || recentProjectLabel(recents[0] || 'Project', managed).name;
|
|
267
|
+
return (
|
|
268
|
+
<div className="rb-dock-wrap">
|
|
269
|
+
<div className="rb-dock" ref={rootRef}>
|
|
270
|
+
{open && (
|
|
271
|
+
<div className="rb-pop rb-pop--up" id="rb-switch-pop" role="menu" aria-label="Switch project" data-testid="repo-switcher-popup">
|
|
272
|
+
{projectSection}
|
|
273
|
+
</div>
|
|
274
|
+
)}
|
|
275
|
+
{switching ? (
|
|
276
|
+
<div className="rb-switching" role="status" aria-live="polite">
|
|
277
|
+
<Icon name="spinner" size={14} className="rb-spin" />
|
|
278
|
+
<span>Opening <b>{switching}</b>…</span>
|
|
279
|
+
</div>
|
|
280
|
+
) : (
|
|
281
|
+
<button type="button" data-testid="repo-switcher-trigger" className={'rb-trigger' + (open ? ' is-open' : '')} aria-expanded={open} aria-haspopup="menu" aria-controls="rb-switch-pop" onClick={() => setOpen((v) => !v)} title={name}>
|
|
282
|
+
<span className="rb-trigger-icon"><Icon name="folder" size={14} /></span>
|
|
283
|
+
<span className="rb-trigger-proj">{name}</span>
|
|
284
|
+
<Icon name="chevron-up" size={13} className="rb-trigger-caret" />
|
|
285
|
+
</button>
|
|
286
|
+
)}
|
|
287
|
+
{err && !open && !switching && <div className="rb-switcher-err" role="alert">{err}</div>}
|
|
288
|
+
</div>
|
|
289
|
+
{teamDialog}
|
|
290
|
+
</div>
|
|
291
|
+
);
|
|
292
|
+
}
|
|
293
|
+
|
|
294
|
+
// Branches are only meaningful for a versioned project (drafts need git),
|
|
295
|
+
// and never while another authority writes its history (projectOnly).
|
|
296
|
+
if (!status?.repo || projectOnly) return null;
|
|
213
297
|
|
|
214
298
|
// Prefer the live branch from the git-status broadcast (kept current as the
|
|
215
299
|
// dev runs `git checkout` in their terminal) over the one-shot mount fetch.
|
|
@@ -412,7 +496,7 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
|
|
|
412
496
|
async function switchRepo(path) {
|
|
413
497
|
setOpen(false);
|
|
414
498
|
if (!native) return;
|
|
415
|
-
setSwitching(
|
|
499
|
+
setSwitching(recentProjectLabel(path, managed).name);
|
|
416
500
|
try { await openLocalProject(path); }
|
|
417
501
|
catch (e) { setErr(String(e?.message || e || 'Could not open that project.')); setSwitching(''); }
|
|
418
502
|
}
|
|
@@ -499,27 +583,7 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
|
|
|
499
583
|
{open && (
|
|
500
584
|
<div className="rb-pop rb-pop--up" id="rb-switch-pop" role="menu" aria-label="Switch project or version" data-testid="repo-switcher-popup">
|
|
501
585
|
{/* ── Project ── */}
|
|
502
|
-
|
|
503
|
-
{native && recents.length > 0 ? (
|
|
504
|
-
recents.map((p, i) => (
|
|
505
|
-
<button type="button" key={p} className={'rb-pop-item' + (i === 0 ? ' is-current' : '')} role="menuitem" onClick={() => switchRepo(p)}>
|
|
506
|
-
<span className="rb-pop-icon"><Icon name="folder" size={14} /></span>
|
|
507
|
-
<span className="rb-pop-tx">
|
|
508
|
-
<span className="rb-pop-name">{basename(p)}</span>
|
|
509
|
-
<span className="rb-pop-sub">{p}</span>
|
|
510
|
-
</span>
|
|
511
|
-
{i === 0 ? <Icon name="check" size={14} className="rb-pop-check" /> : null}
|
|
512
|
-
</button>
|
|
513
|
-
))
|
|
514
|
-
) : (
|
|
515
|
-
<div className="rb-pop-sub" style={{ padding: 'var(--space-2) var(--space-3)' }}>{native ? 'No other recent projects.' : 'Open another project from the desktop app.'}</div>
|
|
516
|
-
)}
|
|
517
|
-
{native && (
|
|
518
|
-
<button type="button" className="rb-pop-item rb-pop-item--action" role="menuitem" onClick={openAnother}>
|
|
519
|
-
<span className="rb-pop-icon"><Icon name="folder-open" size={14} /></span>
|
|
520
|
-
<span className="rb-pop-tx"><span className="rb-pop-name">Open another folder…</span></span>
|
|
521
|
-
</button>
|
|
522
|
-
)}
|
|
586
|
+
{projectSection}
|
|
523
587
|
|
|
524
588
|
<div className="rb-pop-sep" />
|
|
525
589
|
<div className="rb-pop-hd">Branch</div>
|
|
@@ -726,6 +790,7 @@ export default function RepoBranchSwitcher({ project, liveBranch, remoteSync, on
|
|
|
726
790
|
</div>
|
|
727
791
|
</div>
|
|
728
792
|
)}
|
|
793
|
+
{teamDialog}
|
|
729
794
|
</div>
|
|
730
795
|
);
|
|
731
796
|
}
|
|
@@ -0,0 +1,166 @@
|
|
|
1
|
+
// SourceConflictPanel — plan T28 (feature-reliable-project-multiplayer).
|
|
2
|
+
//
|
|
3
|
+
// A change the project could not merge stays on this device as the person's
|
|
4
|
+
// candidate; the project's version is what everyone else sees. This panel
|
|
5
|
+
// shows both, line by line, and turns the decision into an action:
|
|
6
|
+
//
|
|
7
|
+
// • Keep mine — proposes the local version ON TOP of the project's (a new
|
|
8
|
+
// accepted action; nothing is rewound, history keeps both);
|
|
9
|
+
// • Use theirs — the project's version returns to disk; the local one stays
|
|
10
|
+
// in the recovery slots;
|
|
11
|
+
// • or close and keep editing — the next save is the resolution.
|
|
12
|
+
//
|
|
13
|
+
// No hashes, epochs or lane names: "Your version" / "The project's version".
|
|
14
|
+
|
|
15
|
+
import { useEffect, useMemo, useRef, useState } from 'react';
|
|
16
|
+
|
|
17
|
+
/** Line diff by longest common subsequence — bounded, for a canvas source. */
|
|
18
|
+
export function lineDiff(a, b, max = 2000) {
|
|
19
|
+
const x = String(a ?? '').split('\n').slice(0, max);
|
|
20
|
+
const y = String(b ?? '').split('\n').slice(0, max);
|
|
21
|
+
const n = x.length;
|
|
22
|
+
const m = y.length;
|
|
23
|
+
const dp = Array.from({ length: n + 1 }, () => new Uint16Array(m + 1));
|
|
24
|
+
for (let i = n - 1; i >= 0; i--)
|
|
25
|
+
for (let j = m - 1; j >= 0; j--)
|
|
26
|
+
dp[i][j] = x[i] === y[j] ? dp[i + 1][j + 1] + 1 : Math.max(dp[i + 1][j], dp[i][j + 1]);
|
|
27
|
+
const out = [];
|
|
28
|
+
let i = 0;
|
|
29
|
+
let j = 0;
|
|
30
|
+
while (i < n && j < m) {
|
|
31
|
+
if (x[i] === y[j]) {
|
|
32
|
+
out.push({ kind: 'same', text: x[i] });
|
|
33
|
+
i++;
|
|
34
|
+
j++;
|
|
35
|
+
} else if (dp[i + 1][j] >= dp[i][j + 1]) {
|
|
36
|
+
out.push({ kind: 'mine', text: x[i++] });
|
|
37
|
+
} else {
|
|
38
|
+
out.push({ kind: 'theirs', text: y[j++] });
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
while (i < n) out.push({ kind: 'mine', text: x[i++] });
|
|
42
|
+
while (j < m) out.push({ kind: 'theirs', text: y[j++] });
|
|
43
|
+
return out;
|
|
44
|
+
}
|
|
45
|
+
|
|
46
|
+
/** Collapse long runs of unchanged lines to a count, keeping 2 lines of context. */
|
|
47
|
+
function withContext(rows, ctx = 2) {
|
|
48
|
+
const keep = rows.map((r, idx) => r.kind !== 'same' || rows.slice(Math.max(0, idx - ctx), idx + ctx + 1).some((q) => q.kind !== 'same'));
|
|
49
|
+
const out = [];
|
|
50
|
+
let skipped = 0;
|
|
51
|
+
rows.forEach((r, idx) => {
|
|
52
|
+
if (keep[idx]) {
|
|
53
|
+
if (skipped) out.push({ kind: 'skip', text: `${skipped} unchanged line${skipped === 1 ? '' : 's'}` });
|
|
54
|
+
skipped = 0;
|
|
55
|
+
out.push(r);
|
|
56
|
+
} else skipped++;
|
|
57
|
+
});
|
|
58
|
+
if (skipped) out.push({ kind: 'skip', text: `${skipped} unchanged line${skipped === 1 ? '' : 's'}` });
|
|
59
|
+
return out;
|
|
60
|
+
}
|
|
61
|
+
|
|
62
|
+
export default function SourceConflictPanel({ slug, onClose }) {
|
|
63
|
+
const [sides, setSides] = useState(null);
|
|
64
|
+
const [error, setError] = useState('');
|
|
65
|
+
const [busy, setBusy] = useState('');
|
|
66
|
+
const ref = useRef(null);
|
|
67
|
+
|
|
68
|
+
useEffect(() => {
|
|
69
|
+
let alive = true;
|
|
70
|
+
fetch(`/_api/project/conflict?file=${encodeURIComponent(slug)}`)
|
|
71
|
+
.then((r) => r.json().catch(() => ({})))
|
|
72
|
+
.then((j) => {
|
|
73
|
+
if (!alive) return;
|
|
74
|
+
if (j.ok) setSides(j);
|
|
75
|
+
else setError(j.error || 'This conflict is already resolved.');
|
|
76
|
+
})
|
|
77
|
+
.catch(() => alive && setError('Maude isn’t reachable right now.'));
|
|
78
|
+
return () => {
|
|
79
|
+
alive = false;
|
|
80
|
+
};
|
|
81
|
+
}, [slug]);
|
|
82
|
+
|
|
83
|
+
useEffect(() => {
|
|
84
|
+
const prev = document.activeElement;
|
|
85
|
+
ref.current?.querySelector('button')?.focus();
|
|
86
|
+
const onKey = (e) => {
|
|
87
|
+
if (e.key === 'Escape') onClose();
|
|
88
|
+
};
|
|
89
|
+
document.addEventListener('keydown', onKey);
|
|
90
|
+
return () => {
|
|
91
|
+
document.removeEventListener('keydown', onKey);
|
|
92
|
+
prev?.focus?.();
|
|
93
|
+
};
|
|
94
|
+
}, [onClose]);
|
|
95
|
+
|
|
96
|
+
const rows = useMemo(() => (sides ? withContext(lineDiff(sides.mine ?? '', sides.theirs ?? '')) : []), [sides]);
|
|
97
|
+
|
|
98
|
+
async function choose(choice) {
|
|
99
|
+
setBusy(choice);
|
|
100
|
+
setError('');
|
|
101
|
+
try {
|
|
102
|
+
const r = await fetch('/_api/project/conflict', {
|
|
103
|
+
method: 'POST',
|
|
104
|
+
headers: { 'Content-Type': 'application/json' },
|
|
105
|
+
body: JSON.stringify({ file: slug, choice }),
|
|
106
|
+
});
|
|
107
|
+
const j = await r.json().catch(() => ({}));
|
|
108
|
+
if (j.ok) onClose(choice);
|
|
109
|
+
else setError(j.code === 'base-conflict' ? 'Someone changed it again just now — look at the new version and choose again.' : j.error || 'That did not work.');
|
|
110
|
+
} catch {
|
|
111
|
+
setError('Maude isn’t reachable right now.');
|
|
112
|
+
} finally {
|
|
113
|
+
setBusy('');
|
|
114
|
+
}
|
|
115
|
+
}
|
|
116
|
+
|
|
117
|
+
return (
|
|
118
|
+
<div className="gi-modal" role="dialog" aria-modal="true" aria-labelledby="scp-title">
|
|
119
|
+
<div className="gi-scrim" aria-hidden="true" onClick={() => onClose()} />
|
|
120
|
+
<div className="gi-dialog scp-dialog" ref={ref} data-testid="source-conflict-panel">
|
|
121
|
+
<div className="tp-dialog-head">
|
|
122
|
+
<div>
|
|
123
|
+
<h2 id="scp-title">Two versions of {slug}</h2>
|
|
124
|
+
<p>Your change and a teammate’s touched the same lines. Nothing is lost — choose which one the project keeps.</p>
|
|
125
|
+
</div>
|
|
126
|
+
<button type="button" className="btn btn--ghost btn--sm" onClick={() => onClose()} aria-label="Close" data-testid="source-conflict-close">
|
|
127
|
+
×
|
|
128
|
+
</button>
|
|
129
|
+
</div>
|
|
130
|
+
{sides && (
|
|
131
|
+
<>
|
|
132
|
+
<div className="scp-legend" aria-hidden="true">
|
|
133
|
+
<span className="scp-key scp-key--mine">Your version</span>
|
|
134
|
+
<span className="scp-key scp-key--theirs">The project’s version</span>
|
|
135
|
+
</div>
|
|
136
|
+
<div className="scp-diff" role="region" aria-label="Differences" tabIndex={0} data-testid="source-conflict-diff">
|
|
137
|
+
{rows.map((r, idx) => (
|
|
138
|
+
<div key={idx} className={`scp-line scp-line--${r.kind}`}>
|
|
139
|
+
<span className="scp-mark" aria-hidden="true">
|
|
140
|
+
{r.kind === 'mine' ? '−' : r.kind === 'theirs' ? '+' : r.kind === 'skip' ? '⋯' : ' '}
|
|
141
|
+
</span>
|
|
142
|
+
<span className="sr-only">{r.kind === 'mine' ? 'Yours: ' : r.kind === 'theirs' ? 'Project: ' : ''}</span>
|
|
143
|
+
<code>{r.text || ' '}</code>
|
|
144
|
+
</div>
|
|
145
|
+
))}
|
|
146
|
+
</div>
|
|
147
|
+
</>
|
|
148
|
+
)}
|
|
149
|
+
{error && (
|
|
150
|
+
<p className="scp-error" role="alert" data-testid="source-conflict-error">
|
|
151
|
+
{error}
|
|
152
|
+
</p>
|
|
153
|
+
)}
|
|
154
|
+
<div className="scp-actions">
|
|
155
|
+
<button type="button" className="btn btn--primary" disabled={!sides || !!busy} onClick={() => choose('mine')} data-testid="source-conflict-keep-mine">
|
|
156
|
+
{busy === 'mine' ? 'Saving…' : 'Keep my version'}
|
|
157
|
+
</button>
|
|
158
|
+
<button type="button" className="btn" disabled={!sides || !!busy} onClick={() => choose('theirs')} data-testid="source-conflict-use-theirs">
|
|
159
|
+
{busy === 'theirs' ? 'Updating…' : 'Use the project’s version'}
|
|
160
|
+
</button>
|
|
161
|
+
<span className="scp-hint">Or close this and edit the canvas — your next save resolves it.</span>
|
|
162
|
+
</div>
|
|
163
|
+
</div>
|
|
164
|
+
</div>
|
|
165
|
+
);
|
|
166
|
+
}
|