Refresh client hourly when inactive

client/src/app/Main.res

@@ -1832,8 +1832,8 @@ let update_ = (msg: msg, m: model): modification => {
   | TimerFire(action, _) =>
     switch action {
     | RefreshAnalysis =>
-      let getUnlockedDBs = // Small optimization
-      if Map.length(m.dbs) > 0 {
+      // Small optimization - only refresh unlocked DBs if there's at least 1 known
+      let getUnlockedDBs = if !Map.isEmpty(m.dbs) {
         GetUnlockedDBsAPICall
       } else {
         NoChange
@@ -1853,7 +1853,28 @@ let update_ = (msg: msg, m: model): modification => {
         Many(list{GetWorkerStatsAPICall(TL.id(tl)), getUnlockedDBs})
       | _ => getUnlockedDBs
       }
+
     | RefreshAvatars => ExpireAvatars
+
+    | RefreshPageIfUrlIsStable =>
+      switch m.visibility {
+      | Visible => NoChange
+      | Hidden =>
+        switch m.currentPage {
+        | FocusedPackageManagerFn(_)
+        | Architecture =>
+          Webapi.Dom.location->Webapi.Dom.Location.reload
+
+        | FocusedFn(_)
+        | FocusedDB(_)
+        | FocusedType(_)
+        | SettingsModal(_)
+        | FocusedHandler(_) => ()
+        }
+
+        NoChange
+      }
+
     | _ => NoChange
     }
   | IgnoreMsg(_) =>
@@ -2203,8 +2224,17 @@ let subscriptions = (m: model): Tea.Sub.t<msg> => {
   }
 
   let timers = if m.editorSettings.runTimers {
+    let refreshClientHourly = Tea.Time.every(
+      ~key="refresh_client",
+      Tea.Time.hour,
+      f => AppTypes.Msg.TimerFire(RefreshPageIfUrlIsStable, f),
+    )
+
+    // Note: putting a timer in the 'hidden' list doesn't prevent it from being run
+    // only when the page is invisible. Rather, it only prevents us from _starting_
+    // the timer until the page is invisible.
     switch m.visibility {
-    | Hidden => list{}
+    | Hidden => list{refreshClientHourly}
     | Visible => list{
         Tea.Time.every(~key="refresh_analysis", Tea.Time.second, f => AppTypes.Msg.TimerFire(
           RefreshAnalysis,
@@ -2214,6 +2244,7 @@ let subscriptions = (m: model): Tea.Sub.t<msg> => {
           RefreshAvatars,
           f,
         )),
+        refreshClientHourly,
       }
     }
   } else {

client/src/core/Types.res

@@ -138,6 +138,9 @@ and timerAction =
   | RefreshAnalysis
   | RefreshAvatars
   | CheckUrlHashPosition
+  // TODO: 'stable' is not the right word.
+  // I really mean "a refresh would leave them in the same place without interruption"
+  | RefreshPageIfUrlIsStable
 
 and traceID = string