From 2fddf32e542b8b7465f222604406d857f92c6e19 Mon Sep 17 00:00:00 2001 From: Jan Prochazka Date: Thu, 15 Dec 2022 17:15:19 +0100 Subject: [PATCH] fixed broken F5 --- packages/web/src/tabs/ServerSummaryTab.svelte | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/web/src/tabs/ServerSummaryTab.svelte b/packages/web/src/tabs/ServerSummaryTab.svelte index e859b12dc..05c176fb3 100644 --- a/packages/web/src/tabs/ServerSummaryTab.svelte +++ b/packages/web/src/tabs/ServerSummaryTab.svelte @@ -10,6 +10,7 @@ isRelatedToTab: true, icon: 'icon reload', onClick: () => getCurrentEditor().refresh(), + testEnabled: () => getCurrentEditor() != null, });