From f74f48660f1d12d2118938c8095a71ff393ddc91 Mon Sep 17 00:00:00 2001
From: Mario Zechner <badlogicgames@gmail.com>
Date: Thu, 15 Jan 2026 17:50:24 +0100
Subject: [PATCH] Fix prompt-url-widget session name API

---
 .pi/extensions/prompt-url-widget.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.pi/extensions/prompt-url-widget.ts b/.pi/extensions/prompt-url-widget.ts
index ef165321..20406e93 100644
--- a/.pi/extensions/prompt-url-widget.ts
+++ b/.pi/extensions/prompt-url-widget.ts
@@ -81,13 +81,13 @@ export default function promptUrlWidgetExtension(pi: ExtensionAPI) {
 		const trimmedTitle = title?.trim();
 		const fallbackName = `${label}: ${match.url}`;
 		const desiredName = trimmedTitle ? `${label}: ${trimmedTitle} (${match.url})` : fallbackName;
-		const currentName = ctx.getSessionName()?.trim();
+		const currentName = pi.getSessionName()?.trim();
 		if (!currentName) {
-			ctx.setSessionName(desiredName);
+			pi.setSessionName(desiredName);
 			return;
 		}
 		if (currentName === match.url || currentName === fallbackName) {
-			ctx.setSessionName(desiredName);
+			pi.setSessionName(desiredName);
 		}
 	};