Add filtering and options for History Command

This commit is contained in:
2025-06-03 23:07:50 -04:00
parent 09eeb90dc6
commit ac82076511
17 changed files with 165 additions and 38 deletions

View File

@@ -80,8 +80,10 @@ class ExecutionContext(BaseModel):
start_wall: datetime | None = None
end_wall: datetime | None = None
index: int | None = None
extra: dict[str, Any] = Field(default_factory=dict)
console: Console = Field(default_factory=lambda: Console(color_system="auto"))
console: Console = Field(default_factory=lambda: Console(color_system="truecolor"))
shared_context: SharedContext | None = None