Skip to main content

taskers_domain/
lib.rs

1pub mod attention;
2pub mod ids;
3pub mod layout;
4pub mod model;
5pub mod signal;
6
7pub use attention::AttentionState;
8pub use ids::{
9    NotificationId, PaneId, SessionId, SurfaceId, WindowId, WorkspaceColumnId, WorkspaceId,
10    WorkspaceWindowId, WorkspaceWindowTabId,
11};
12pub use layout::{Direction, LayoutNode, SplitAxis};
13pub use model::{
14    ActivityItem, AgentTarget, AppModel, DEFAULT_WORKSPACE_WINDOW_GAP,
15    DEFAULT_WORKSPACE_WINDOW_HEIGHT, DEFAULT_WORKSPACE_WINDOW_WIDTH, DomainError,
16    KEYBOARD_RESIZE_STEP, MIN_WORKSPACE_WINDOW_HEIGHT, MIN_WORKSPACE_WINDOW_WIDTH,
17    NotificationDeliveryState, NotificationItem, PaneKind, PaneMetadata, PaneMetadataPatch,
18    PaneRecord, PersistedSession, PrStatus, ProgressState, PullRequestState,
19    SESSION_SCHEMA_VERSION, SurfaceAgentProcess, SurfaceAgentSession, SurfaceRecord, WindowFrame,
20    WindowRecord, Workspace, WorkspaceAgentState, WorkspaceAgentSummary, WorkspaceColumnRecord,
21    WorkspaceLogEntry, WorkspaceSummary, WorkspaceViewport, WorkspaceWindowMoveTarget,
22    WorkspaceWindowRecord, WorkspaceWindowTabRecord,
23};
24pub use signal::{SignalEvent, SignalKind, SignalPaneMetadata};