Surface polish: batched Minor findings from the native-surfaces final review (#71) #75

Merged
benstull merged 8 commits from worktree-s71-surface-polish into main 2026-07-03 03:20:24 +00:00
Showing only changes of commit c52abdd2e5 - Show all commits
+7 -1
View File
@@ -145,7 +145,13 @@ export class DiffViewController implements vscode.Disposable {
pin(document: vscode.TextDocument): void {
if (!this.isDiffable(document)) return;
const key = this.uriKey(document);
if (this.modes.get(key) !== "snapshot") {
const mode = this.modes.get(key);
if (mode === undefined) {
// never established — the document is not being coedited (#71 item 1)
void vscode.window.showWarningMessage("Run ✦ Coedit this Document with Claude first.");
return;
}
if (mode !== "snapshot") {
void vscode.window.showWarningMessage(
"Cowriting: this document is git-tracked — commit to advance the baseline.",
);