| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-09-29 22:14:30 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-09-29 22:14:30 +0200 |
| commit | 08baf335929724e18addfc553f42fe8a3b274a42 (patch) | |
| tree | ca19d0bb21287bd2c19a3ac976653dd8a25a2cc0 /src/shared/Action/Ports.elm | |
| parent | 463aca15fdeeb7fda838dcc7355d2365de5d703d (diff) | |
Adds icon notification.
There might be a browser function to make a notification, but let's go
with an icon change for now...
Diffstat (limited to 'src/shared/Action/Ports.elm')
| -rw-r--r-- | src/shared/Action/Ports.elm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/shared/Action/Ports.elm b/src/shared/Action/Ports.elm index c14d7f4..c42ff8b 100644 --- a/src/shared/Action/Ports.elm +++ b/src/shared/Action/Ports.elm @@ -8,4 +8,5 @@ port get_results : () -> (Cmd msg) port results_in : (String -> msg) -> (Sub msg) port set_results : (String) -> (Cmd msg) -port set_signal : (Bool) -> (Cmd msg) +port activate_notification : () -> (Cmd msg) +port disable_notification : () -> (Cmd msg) |