import type { ExtensionContext, Theme } from "@earendil-works/pi-coding-agent"; import type { Component } from "@earendil-works/pi-tui"; import type { TodoListView } from "./types.ts"; export declare class TodoWidget implements Component { private readonly view; private readonly theme; constructor(view: TodoListView, theme: Theme); render(width: number): string[]; invalidate(): void; } export declare function renderTodoLines(view: TodoListView, theme: Theme, width: number): string[]; export declare function updateTodoWidget(ctx: ExtensionContext, view: TodoListView | undefined): void; //# sourceMappingURL=widget.d.ts.map