1pub mod attention;
2pub mod ids;
3pub mod layout;
4pub mod model;
5pub mod signal;
6
7pub use attention::AttentionState;
8pub use ids::{PaneId, SessionId, SurfaceId, WindowId, WorkspaceId, WorkspaceWindowId};
9pub use layout::{Direction, LayoutNode, SplitAxis};
10pub use model::{
11 ActivityItem, AppModel, DEFAULT_WORKSPACE_WINDOW_GAP, DEFAULT_WORKSPACE_WINDOW_HEIGHT,
12 DEFAULT_WORKSPACE_WINDOW_WIDTH, DomainError, KEYBOARD_RESIZE_STEP, MIN_WORKSPACE_WINDOW_HEIGHT,
13 NotificationItem, PaneKind, PaneMetadata, PaneMetadataPatch, PaneRecord, PersistedSession,
14 SESSION_SCHEMA_VERSION, SurfaceRecord, WindowFrame, WindowRecord, Workspace,
15 WorkspaceAgentState, WorkspaceAgentSummary, WorkspaceSummary, WorkspaceViewport,
16 WorkspaceWindowRecord,
17};
18pub use signal::{SignalEvent, SignalKind, SignalPaneMetadata};