-
Notifications
You must be signed in to change notification settings - Fork 0
/
Workspace.elm
55 lines (39 loc) · 887 Bytes
/
Workspace.elm
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
module Workspace (view) where
import Brick exposing (Brick)
import DiagramsUtils
import Html exposing (..)
import Html.Attributes exposing (classList, style)
-- VIEW
actionsWidth = "16px"
view address bricks =
div
[ ]
[ h2 [ ] [ text "Workspace" ]
, workspaceActionsView address
, workspaceView address bricks
]
workspaceView address bricks =
div
[ workspaceStyle ]
[ fromElement <| DiagramsUtils.bricksView address bricks ]
workspaceStyle : Attribute
workspaceStyle =
style
[ ("margin-left", actionsWidth)
]
-- WORKSPACE ACTIONS
workspaceActionsView address =
div
[ actionsStyles ]
[ glyphicon "play"
, glyphicon "plus"
]
actionsStyles =
style
[ ("width", actionsWidth)
, ("float", "left")
]
glyphicon name =
span
[ classList [ ("glyphicon", True), ("glyphicon-" ++ name, True) ] ]
[ ]