Merge pull request #55 from proofgeist:cursor/fix-webviewer-navigation-file-error-370a

Fix webviewer navigation file error

Author: eluce2

.changeset/fix-webviewer-nav-error.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/cli": patch
+---
+
+Guard page add/remove against missing `src/app/navigation.tsx` so WebViewer apps don’t error when updating navigation. This safely no-ops when the navigation file isn’t present.

packages/cli/src/cli/remove/page.ts

@@ -18,9 +18,12 @@ import { abortIfCancel, ensureProofKitProject } from "../utils.js";
 const getExistingRoutes = (
   project: Project
 ): { label: string; href: string }[] => {
-  const sourceFile = project.addSourceFileAtPath(
-    path.join(state.projectDir, "src/app/navigation.tsx")
-  );
+  const navFilePath = path.join(state.projectDir, "src/app/navigation.tsx");
+
+  // If navigation file doesn't exist (e.g., webviewer apps), there are no nav routes to remove
+  if (!fs.existsSync(navFilePath)) return [];
+
+  const sourceFile = project.addSourceFileAtPath(navFilePath);
 
   const routes: { label: string; href: string }[] = [];
 
@@ -88,9 +91,12 @@ const getExistingRoutes = (
 };
 
 const removeRouteFromNav = async (project: Project, routeToRemove: string) => {
-  const sourceFile = project.addSourceFileAtPath(
-    path.join(state.projectDir, "src/app/navigation.tsx")
-  );
+  const navFilePath = path.join(state.projectDir, "src/app/navigation.tsx");
+
+  // Skip if there is no navigation file
+  if (!fs.existsSync(navFilePath)) return;
+
+  const sourceFile = project.addSourceFileAtPath(navFilePath);
 
   // Remove from primary routes
   const primaryRoutes = sourceFile
@@ -190,7 +196,7 @@ export const runRemovePageAction = async (routeName?: string) => {
       return p.cancel(`Page at ${routeName} does not exist`);
     }
 
-    // Remove from navigation first
+    // Remove from navigation first (if present)
     await removeRouteFromNav(project, routeName);
 
     // Remove the page directory

packages/cli/src/generators/route.ts

@@ -1,6 +1,7 @@
 import path from "path";
 import { type RouteLink } from "index.js";
 import { SyntaxKind } from "ts-morph";
+import fs from "fs-extra";
 
 import { formatAndSaveSourceFiles, getNewProject } from "~/utils/ts-morph.js";
 
@@ -12,10 +13,13 @@ export async function addRouteToNav({
   projectDir: string;
   navType: "primary" | "secondary";
 }) {
+  const navFilePath = path.join(projectDir, "src/app/navigation.tsx");
+
+  // If the navigation file doesn't exist (e.g., WebViewer apps), skip adding to nav
+  if (!fs.existsSync(navFilePath)) return;
+
   const project = getNewProject(projectDir);
-  const sourceFile = project.addSourceFileAtPath(
-    path.join(projectDir, "src/app/navigation.tsx")
-  );
+  const sourceFile = project.addSourceFileAtPath(navFilePath);
   sourceFile
     .getVariableDeclaration(
       navType === "primary" ? "primaryRoutes" : "secondaryRoutes"