1
0
mirror of https://github.com/jhillyerd/inbucket.git synced 2025-12-18 01:57:02 +00:00

ui: impl Timer.schedule function

This commit is contained in:
James Hillyerd
2020-04-05 17:27:22 -07:00
parent e8e506f870
commit 4fc8d229eb
2 changed files with 13 additions and 6 deletions

View File

@@ -93,7 +93,7 @@ type Msg
| OpenMailbox
| RecentMenuMouseOver
| RecentMenuMouseOut
| RecentMenuTimeout Timer ()
| RecentMenuTimeout Timer
| RecentMenuToggled
@@ -155,10 +155,10 @@ update msg model session =
| recentMenuTimer = newTimer
}
, session
, Process.sleep 400 |> Task.perform (RecentMenuTimeout newTimer >> model.mapMsg)
, Timer.schedule (RecentMenuTimeout >> model.mapMsg) newTimer 400
)
RecentMenuTimeout timer _ ->
RecentMenuTimeout timer ->
if timer == model.recentMenuTimer then
( { model
| recentMenuVisible = False