page

type ChatKeyMap ¶

type ChatKeyMap struct {
	ShowCompletionDialog key.Binding
	NewSession           key.Binding
	Cancel               key.Binding
	ToggleSidebar        key.Binding
	NextPanel            key.Binding
	ToggleEditorChat     key.Binding
}

type ChatLayoutMode ¶ added in v0.2.0

type ChatLayoutMode int

const (
	ChatOnly ChatLayoutMode = iota
	SidebarChat
	SidebarEditor
	EditorChatSplit
	EditorChatTab
)

type ChatPageModel ¶ added in v0.2.0

type ChatPageModel struct {
	// contains filtered or unexported fields
}

func NewChatPage(app *app.App) *ChatPageModel

func (p *ChatPageModel) BindingKeys() []key.Binding

func (p *ChatPageModel) FileTree() filetree.Component

func (p *ChatPageModel) GetSize() (int, int)

func (p *ChatPageModel) Init() tea.Cmd

func (p *ChatPageModel) LayoutMode() ChatLayoutMode

func (p *ChatPageModel) SetSize(width, height int) tea.Cmd

func (p *ChatPageModel) TabBar() *editor.TabBar

func (p *ChatPageModel) Update(msg tea.Msg) (tea.Model, tea.Cmd)

func (p *ChatPageModel) View() string

func (p *ChatPageModel) Viewer() editor.FileViewerComponent

type EvaluatorPageModel ¶ added in v0.26.2

type EvaluatorPageModel interface {
	tea.Model
	layout.Sizeable
	layout.Bindings
}

EvaluatorPageModel is the public interface for the self-improvement page.

func NewEvaluatorPage(svc evaluator.Service) EvaluatorPageModel

type LogPage ¶

type LogPage interface {
	tea.Model
	layout.Sizeable
	layout.Bindings
}

func NewLogsPage() LogPage

type ModalPage ¶ added in v0.40.0

type ModalPage interface {
	HasActiveModal() bool
	ClearModals()
}

ModalPage is implemented by pages that host modal dialogs, allowing the app-level key handler to check whether a modal is active before intercepting navigation keys like Esc.

type OrchestratorFilterMsg ¶ added in v0.244.0

type OrchestratorFilterMsg struct {
	Tag string
}

OrchestratorFilterMsg asks the orchestrator page to apply a tag filter and navigate to it.

type PageChangeMsg ¶

type PageChangeMsg struct {
	ID PageID
}

PageChangeMsg is used to change the current page

type PageID ¶

type PageID string

const (
	ChatPage         PageID = "chat"
	LogsPage         PageID = "logs"
	SettingsPage     PageID = "settings"
	OrchestratorPage PageID = "orchestrator"
	SnapshotsPage    PageID = "snapshots"
	EvaluatorPage    PageID = "evaluator"
)

const InstancesPage PageID = "instances"

type SnapshotPage ¶ added in v0.26.2

type SnapshotPage interface {
	tea.Model
	layout.Sizeable
	layout.Bindings
}

SnapshotPage is the public interface for the snapshots page.

func NewSnapshotsPage(app *app.App) SnapshotPage

type TagFilterable ¶ added in v0.244.0

type TagFilterable interface {
	SetFilterTag(tag string)
}

TagFilterable is implemented by pages that support tag-based task filtering.