opencode-ide-plugin/packages/tui/internal/page/page.go

package page

type PageID string

// PageChangeMsg is used to change the current page
type PageChangeMsg struct {
	ID PageID
}