chore: format

2026-07-27 04:38:46 -04:00
parent c4332be71e
commit c004b4ecb5
73 changed files with 1165 additions and 350 deletions
@@ -729,7 +729,11 @@
 		);
 	};

-	$: if ($terminalServers !== null && $selectedTerminalId && !isTerminalAvailable($selectedTerminalId)) {
+	$: if (
+		$terminalServers !== null &&
+		$selectedTerminalId &&
+		!isTerminalAvailable($selectedTerminalId)
+	) {
 		selectedTerminalId.set(null);
 	}