Use toOptionView

gemini-hlsw · Oct 26, 2023 · 39bfa20 · 39bfa20
1 parent 94545d0
commit 39bfa20
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/explore/src/main/scala/explore/Routing.scala b/explore/src/main/scala/explore/Routing.scala
@@ -39,7 +39,8 @@ object Routing:
   ): VdomElement =
     model
       .zoom(RootModel.programSummaries)
-      .mapValue { (pss: View[ProgramSummaries]) =>
+      .toOptionView
+      .map { (pss: View[ProgramSummaries]) =>
         render(UndoContext(model.zoom(RootModel.undoStacks), pss))
       }
       .toPot