Merge commit '67b361f0e99135c578d5764c915b413f457dd67a' as 'third_party/pi'

2026-09-14 10:40:08 -04:00
parent 5ebc7018c3 67b361f0e9
commit 564724ce41
1669 changed files with 397627 additions and 0 deletions
--- a/third_party/pi/packages/coding-agent/examples/extensions/widget-placement.ts
+++ b/third_party/pi/packages/coding-agent/examples/extensions/widget-placement.ts
@@ -0,0 +1,9 @@
+import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
+
+export default function widgetPlacementExtension(pi: ExtensionAPI) {
+	pi.on("session_start", (_event, ctx) => {
+		if (!ctx.hasUI) return;
+		ctx.ui.setWidget("widget-above", ["Above editor widget"]);
+		ctx.ui.setWidget("widget-below", ["Below editor widget"], { placement: "belowEditor" });
+	});
+}