MingaEditor.State.Feedback (Minga v0.1.0)

Cross-shell user feedback owned by the Editor.

Native notifications and long-running operation feedback share lifecycle at the editor boundary while shell-specific notices and overlays remain in the active shell state.

Summary

Types

t()

Functions

accept_operation_feedback(feedback, operations)

Commits operation feedback produced by its focused owner.

dismiss_notification(feedback, id)

Dismisses a native notification by id.

dismiss_notification(feedback, id, dismiss_ref)

Dismisses a notification only when its timer correlation still matches.

upsert_notification(feedback, notification)

Adds or replaces a native notification.

Types

t()

@type t() :: %MingaEditor.State.Feedback{
  notifications: MingaEditor.UI.NotificationCenter.t(),
  operation_feedback: MingaEditor.State.OperationFeedback.t()
}

Functions

accept_operation_feedback(feedback, operations)

@spec accept_operation_feedback(t(), MingaEditor.State.OperationFeedback.t()) :: t()

Commits operation feedback produced by its focused owner.

dismiss_notification(feedback, id)

@spec dismiss_notification(t(), String.t()) :: t()

Dismisses a native notification by id.

dismiss_notification(feedback, id, dismiss_ref)

@spec dismiss_notification(t(), String.t(), reference()) :: t()

Dismisses a notification only when its timer correlation still matches.

upsert_notification(feedback, notification)

@spec upsert_notification(t(), MingaEditor.UI.Notification.t()) :: t()

Adds or replaces a native notification.