Rename task widget to todos

src/widget.ts

@@ -3,7 +3,7 @@ import type { TaskState } from "./state.ts";
 import { renderProgressHeader, renderWidgetTree } from "./ui.ts";
 
 const WIDGET_ID = "pi-todo-herdr";
-const TIMER_REFRESH_MS = 1000;
+export const TODO_ANIMATION_INTERVAL_MS = 500;
 
 export function clearTaskWidget(ctx: ExtensionContext): void {
   ctx.ui.setWidget(WIDGET_ID, undefined);
@@ -13,7 +13,7 @@ export function updateTaskWidget(
   state: TaskState,
   ctx: ExtensionContext,
   visible: boolean,
-  refreshMs = TIMER_REFRESH_MS,
+  refreshMs = TODO_ANIMATION_INTERVAL_MS,
 ): void {
   const tasks = state.list();
   if (!visible || tasks.length === 0) {