+4

src/Applications/UI.elm

reviewed

··· 337 337 HideOverlay -> 338 338 Interface.hideOverlay 339 339 340 340 + LostWindowFocus -> 341 341 + Interface.lostWindowFocus 342 342 + 340 343 MsgViaContextMenu a -> 341 344 Interface.msgViaContextMenu a 342 345 ··· 542 545 ----------------------------------------- 543 546 , Browser.Events.onResize Interface.onResize 544 547 , Ports.indicateTouchDevice (\_ -> SetIsTouchDevice True) 548 548 + , Ports.lostWindowFocus (always LostWindowFocus) 545 549 , Ports.preferredColorSchemaChanged PreferredColorSchemaChanged 546 550 , Ports.showErrorNotification (Notifications.error >> ShowNotification) 547 551 , Ports.showStickyErrorNotification (Notifications.stickyError >> ShowNotification)

+5

src/Applications/UI/Interface/State.elm

reviewed

··· 129 129 Return.singleton model 130 130 131 131 132 132 + lostWindowFocus : Manager 133 133 + lostWindowFocus model = 134 134 + Return.singleton { model | focusedOnInput = False, pressedKeys = [] } 135 135 + 136 136 + 132 137 preferredColorSchemaChanged : { dark : Bool } -> Manager 133 138 preferredColorSchemaChanged { dark } model = 134 139 Return.singleton { model | darkMode = dark }

+3

src/Applications/UI/Ports.elm

reviewed

··· 59 59 port fromAlien : (Alien.Event -> msg) -> Sub msg 60 60 61 61 62 62 + port lostWindowFocus : (() -> msg) -> Sub msg 63 63 + 64 64 + 62 65 port indicateTouchDevice : (() -> msg) -> Sub msg 63 66 64 67

+1

src/Applications/UI/Types.elm

reviewed

··· 226 226 | DnD (DnD.Msg Int) 227 227 | FocusedOnInput 228 228 | HideOverlay 229 229 + | LostWindowFocus 229 230 | MsgViaContextMenu Msg 230 231 | PreferredColorSchemaChanged { dark : Bool } 231 232 | RemoveNotification { id : Int }

+5

src/Javascript/index.js

reviewed

··· 555 555 } 556 556 557 557 558 558 + window.addEventListener("blur", event => { 559 559 + if (app && event.target === window) app.ports.lostWindowFocus.send(null) 560 560 + }) 561 561 + 562 562 + 558 563 559 564 // Forms 560 565 // -----