diff options
author | Joris | 2016-06-28 00:32:37 +0200 |
---|---|---|
committer | Joris | 2016-06-29 20:34:05 +0200 |
commit | 071b07463ab3f6894928b13553e98cd47c9ccb18 (patch) | |
tree | fad6e7f6c8e9aa730f7c113868debc1812795cc9 /src/client/elm/Init.elm | |
parent | f605541cbaaa3c339eef8f345547bcd653d3f721 (diff) |
Add tooltips
Diffstat (limited to 'src/client/elm/Init.elm')
-rw-r--r-- | src/client/elm/Init.elm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/client/elm/Init.elm b/src/client/elm/Init.elm index 8c148c0..9c6fc3b 100644 --- a/src/client/elm/Init.elm +++ b/src/client/elm/Init.elm @@ -10,18 +10,21 @@ import Json.Decode as Json exposing ((:=)) import Model.Translations exposing (..) import Model.Conf exposing (..) import Model.InitResult exposing (..) +import Model.Size exposing (..) type alias Init = { time : Time , translations : Translations , conf : Conf , result : InitResult + , windowSize : Size } decoder : Json.Decoder Init decoder = - Json.object4 Init + Json.object5 Init ("time" := Json.float) ("translations" := translationsDecoder) ("conf" := confDecoder) ("result" := initResultDecoder) + ("windowSize" := sizeDecoder) |