AnchoredOverlay: Support sheet toggle

unisonweb · Dec 12, 2023 · 557e0ee · 557e0ee
1 parent 77faa66
commit 557e0ee
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/UI/AnchoredOverlay.elm b/src/UI/AnchoredOverlay.elm
@@ -87,6 +87,15 @@ withSheet sheet_ anchoredOverlay_ =
  { anchoredOverlay_ | sheet = OpenSheet sheet_ }
 
 
+withSheet_ : Bool -> Sheet msg -> AnchoredOverlay msg -> AnchoredOverlay msg
+withSheet_ isOpen sheet_ anchoredOverlay_ =
+ if isOpen then
+ { anchoredOverlay_ | sheet = OpenSheet sheet_ }
+
+ else
+ { anchoredOverlay_ | sheet = Closed }
+
+
 withSheetPosition : Position -> AnchoredOverlay msg -> AnchoredOverlay msg
 withSheetPosition position anchoredOverlay_ =
  { anchoredOverlay_ | sheetPosition = position }