Commit dfea71ff authored by Thorsten Wißmann's avatar Thorsten Wißmann 🐧
Browse files

More HTML lazy in Main

parent 2c1b5401
import Html exposing (Html, button, div, text, a, img) import Html exposing (Html, button, div, text, a, img)
import Html as Html import Html as Html
import Html.App as Html import Html.App as Html
import Html.Lazy as Html
import Html.Attributes as HA import Html.Attributes as HA
import Html.Events exposing (onClick,onInput) import Html.Events exposing (onClick,onInput)
import Html.Events as HE import Html.Events as HE
...@@ -317,9 +318,9 @@ view model = ...@@ -317,9 +318,9 @@ view model =
] ]
, div [HA.id "mainrailpuzzle" ] , div [HA.id "mainrailpuzzle" ]
[ Html.map ForRails <| RailPuzzle.view model.rails ] [ Html.map ForRails <| RailPuzzle.view model.rails ]
, Html.map ForSmv <| NuSmvInput.viewSmvOptions model.smv , Html.map ForSmv <| Html.lazy NuSmvInput.viewSmvOptions model.smv
] ]
, NuSmvInput.viewPlaceholder model.smv , Html.lazy NuSmvInput.viewPlaceholder model.smv
] ]
......
...@@ -45,7 +45,7 @@ type Msg ...@@ -45,7 +45,7 @@ type Msg
init : (Model, RPCmd.Command) init : (Model, RPCmd.Command)
init = init =
let let
initial_visible = True initial_visible = False
in in
({ showSmvOptions = initial_visible ({ showSmvOptions = initial_visible
, stickToBottom = True , stickToBottom = True
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment