Automatically restart when after a placeholder was seen.

This continues the current exploration, which is darned handy.
nexushoratio · Sep 21, 2024 · 7d1542c · 7d1542c
1 parent 2b0d430
commit 7d1542c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/plugins/explore.js b/plugins/explore.js
@@ -634,6 +634,10 @@ window.plugin.explore.dataRefreshed = function() {
 window.plugin.explore.portalDetailsUpdated = function(details) {
   const state = window.plugin.explore.state;
   state.cacheMarker(details.portal);
+  if (!state.exploring && state.status.startsWith('Saw placeholder ')) {
+    console.log('restarting...');
+    state.start();
+  }
 }
 
 /** Triggered from a command button. */