magus-cli 7.6.0 → 7.7.0

package/src/ui/state/types.ts

@@ -122,10 +122,15 @@ export type ModalState =
 			cancellable?: boolean;
 	  }
 	| {
+			/**
+			 * A dialog the user dismisses. No "success" variant, deliberately: a
+			 * result the screen already shows needs nothing, and one it does not
+			 * is a notice (see {@link Notice}), which never takes a key.
+			 */
 			type: "message";
 			title: string;
 			message: string;
-			variant: "info" | "success" | "error";
+			variant: "info" | "error";
 			onDismiss: () => void;
 	  }
 	| {
@@ -138,6 +143,28 @@ export type ModalState =
 			screen: Screen;
 	  };
 
+// ============================================================================
+// Notice Types
+// ============================================================================
+
+/** A warning is something the user may need to act on, so it stays longer. */
+export type NoticeTone = "success" | "warning";
+
+/**
+ * One line of the app-level notice banner: the result of an action, shown
+ * without taking the modal slot or any key, and gone by itself at `expiresAt`.
+ */
+export interface Notice {
+	id: number;
+	text: string;
+	tone: NoticeTone;
+	/** Epoch ms after which the banner drops it. */
+	expiresAt: number;
+}
+
+/** A notice as a pure function words it, before `notify` stamps it. */
+export type NoticeLine = Pick<Notice, "text" | "tone">;
+
 // ============================================================================
 // Progress Types
 // ============================================================================
@@ -352,6 +379,14 @@ export interface AppState {
 
 	// Global UI state
 	modal: ModalState | null;
+	/** The notice banner, oldest first. Never occupies the modal slot. */
+	notices: Notice[];
+	/**
+	 * When the notices stopped running down, or null while they run. They are
+	 * held while a modal is open: a line posted under a startup question, or
+	 * just before one, would otherwise expire behind it unread.
+	 */
+	noticesPausedAt: number | null;
 	progress: ProgressState | null;
 	/**
 	 * The current screen's search box has focus. It decides what the box draws
@@ -364,6 +399,14 @@ export interface AppState {
 	// Screens can watch this to know when to refetch data
 	dataRefreshVersion: number;
 
+	/**
+	 * Bumped to ask the app for a fresh gitignore check. The app shell owns the
+	 * check and its question (ui/App.tsx); anything that makes generated files
+	 * appear — a profile activating — asks through this rather than reaching
+	 * into the shell.
+	 */
+	gitignoreCheckRequest: number;
+
 	// Screen-specific state
 	plugins: PluginsScreenState;
 	mcp: McpScreenState;
@@ -449,6 +492,12 @@ export type AppAction =
 	| { type: "SHOW_MODAL"; modal: ModalState }
 	| { type: "HIDE_MODAL" }
 
+	// Notices
+	| { type: "NOTIFY"; notice: Notice }
+	| { type: "EXPIRE_NOTICES"; now: number }
+	| { type: "PAUSE_NOTICES"; now: number }
+	| { type: "RESUME_NOTICES"; now: number }
+
 	// Progress
 	| { type: "SHOW_PROGRESS"; state: ProgressState }
 	| { type: "UPDATE_PROGRESS"; state: ProgressState }
@@ -520,4 +569,6 @@ export type AppAction =
 	| { type: "MODELS_CATALOG_LOADED"; catalog: CatalogModel[] }
 
 	// Data refresh - triggers screens to refetch
-	| { type: "DATA_REFRESH_COMPLETE" };
+	| { type: "DATA_REFRESH_COMPLETE" }
+	// A profile became active: screens refetch, and the gitignore check re-runs
+	| { type: "PROFILE_ACTIVATED" };