impl: poll workspaces when Toolbox screen becomes visible (#176)

Some users complained that Coder Toolbox has a noticeable delay in
rendering the workspaces
status compared with the web Dashboard, even though they have the same
polling frequency,
which is every 5 seconds.
However, the web Dashboard also reacts and when the tab receives focus
from the user which
improves the experience. This PR tries to implement the same behavior,
when Coder Toolbox
screen becomes visible the polling is triggered immediately which should
result in a status update.

Author: fioan89

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## Unreleased
 
+### Changed
+
+- workspaces status is now refresh every time Coder Toolbox becomes visible
+
 ## 0.6.2 - 2025-08-14
 
 ### Changed

gradle.properties

@@ -1,3 +1,3 @@
-version=0.6.2
+version=0.6.3
 group=com.coder.toolbox
 name=coder-toolbox

src/main/kotlin/com/coder/toolbox/CoderRemoteProvider.kt

@@ -54,8 +54,8 @@ class CoderRemoteProvider(
 
     private val settings = context.settingsStore.readOnly()
 
-    // Create our services from the Toolbox ones.
     private val triggerSshConfig = Channel<Boolean>(Channel.CONFLATED)
+    private val triggerProviderVisible = Channel<Boolean>(Channel.CONFLATED)
     private val settingsPage: CoderSettingsPage = CoderSettingsPage(context, triggerSshConfig)
     private val dialogUi = DialogUi(context)
 
@@ -177,14 +177,19 @@ class CoderRemoteProvider(
 
             select {
                 onTimeout(POLL_INTERVAL) {
-                    context.logger.trace("workspace poller waked up by the $POLL_INTERVAL timeout")
+                    context.logger.debug("workspace poller waked up by the $POLL_INTERVAL timeout")
                 }
                 triggerSshConfig.onReceive { shouldTrigger ->
                     if (shouldTrigger) {
-                        context.logger.trace("workspace poller waked up because it should reconfigure the ssh configurations")
+                        context.logger.debug("workspace poller waked up because it should reconfigure the ssh configurations")
                         cli.configSsh(lastEnvironments.map { it.asPairOfWorkspaceAndAgent() }.toSet())
                     }
                 }
+                triggerProviderVisible.onReceive { isCoderProviderVisible ->
+                    if (isCoderProviderVisible) {
+                        context.logger.debug("workspace poller waked up by Coder Toolbox which is currently visible, fetching latest workspace statuses")
+                    }
+                }
             }
             lastPollTime = TimeSource.Monotonic.markNow()
         }
@@ -293,6 +298,11 @@ class CoderRemoteProvider(
         visibilityState.update {
             visibility
         }
+        if (visibility.providerVisible) {
+            context.cs.launch {
+                triggerProviderVisible.send(true)
+            }
+        }
     }
 
     /**