Support maybe menu toggle

unisonweb · Jul 17, 2023 · 5cae212 · 5cae212
1 parent cee5f39
commit 5cae212
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/UI/AppHeader.elm b/src/UI/AppHeader.elm
@@ -48,7 +48,12 @@ withViewMode viewMode appHeader_ =
 
 withMenuToggle : msg -> AppHeader msg -> AppHeader msg
 withMenuToggle menuToggleMsg appHeader_ =
- { appHeader_ | menuToggle = Just menuToggleMsg }
+ withMenuToggle_ (Just menuToggleMsg) appHeader_
+
+
+withMenuToggle_ : Maybe msg -> AppHeader msg -> AppHeader msg
+withMenuToggle_ menuToggleMsg appHeader_ =
+ { appHeader_ | menuToggle = menuToggleMsg }
 
 
 withLeftSide : List (Html msg) -> AppHeader msg -> AppHeader msg