Update dashboard UI to account for local deployments (#29198)

* Update the deployment picker to display all of your dev deployments with different icons for cloud vs. dev
* Add a disconnected overlay for when the local deployment is not connected
* Gate deployment fetches (that I could find) on being connected

GitOrigin-RevId: 6c8ac496602285c4eea0019f7d794fea24e0ad18

npm-packages/convex/src/browser/index.ts

@@ -21,6 +21,7 @@ export type {
   BaseConvexClientOptions,
   MutationOptions,
   SubscribeOptions,
+  ConnectionState,
 } from "./sync/client.js";
 export type { ConvexClientOptions } from "./simple_client.js";
 export { ConvexClient } from "./simple_client.js";

npm-packages/convex/src/bundler/context.ts

@@ -143,7 +143,7 @@ export function logVerbose(ctx: Context, ...logged: any) {
 
 // Start a spinner.
 // To change its message use changeSpinner.
-// To print warnings/erros while it's running use logError or logWarning.
+// To print warnings/errors while it's running use logError or logWarning.
 // To stop it due to an error use logFailure.
 // To stop it due to success use logFinishedStep.
 export function showSpinner(ctx: Context, message: string) {

npm-packages/convex/src/cli/configure.ts

@@ -367,6 +367,8 @@ async function selectExistingProject(
   const functionsPath = functionsDir(configName(), existingProjectConfig);
 
   await doCodegen(ctx, functionsPath, "disable");
+
+  logFinishedStep(ctx, `Reinitialized project ${chalk.bold(projectSlug)}`);
   return { teamSlug, projectSlug };
 }