Commit ca7160ae authored by Przemyslaw Kaminski's avatar Przemyslaw Kaminski

[Graph] some styling fixes

parent db9ffc69
...@@ -20,6 +20,9 @@ ...@@ -20,6 +20,9 @@
overflow-y: scroll; overflow-y: scroll;
z-index: 1; z-index: 1;
} }
#graph-explorer #graph-view {
height: 95%;
}
#graph-explorer #sp-container { #graph-explorer #sp-container {
position: absolute; position: absolute;
left: 70%; left: 70%;
......
...@@ -9,6 +9,7 @@ ...@@ -9,6 +9,7 @@
li li
display: flex display: flex
max-width: 200px max-width: 200px
.row.controls .row.controls
height: 79px height: 79px
...@@ -19,6 +20,9 @@ ...@@ -19,6 +20,9 @@
overflow-y: scroll overflow-y: scroll
z-index: 1 z-index: 1
#graph-view
height: 95%
#sp-container #sp-container
position: absolute position: absolute
left: 70% left: 70%
......
...@@ -110,7 +110,7 @@ explorerCpt = R.hooksComponent "G.C.GraphExplorer.explorer" cpt ...@@ -110,7 +110,7 @@ explorerCpt = R.hooksComponent "G.C.GraphExplorer.explorer" cpt
] ]
, rowControls [ Controls.controls controls ] , rowControls [ Controls.controls controls ]
, row [ tree (fst controls.showTree) {sessions, mCurrentRoute, frontends} (snd showLogin) , row [ tree (fst controls.showTree) {sessions, mCurrentRoute, frontends} (snd showLogin)
, RH.div { ref: graphRef, id: "graph-view", className: graphClassName controls, style: {height: "95%"} } [] -- graph container , RH.div { ref: graphRef, id: "graph-view", className: "col-md-12" } [] -- graph container
, graphView { controls , graphView { controls
, elRef: graphRef , elRef: graphRef
, graphId , graphId
...@@ -129,12 +129,6 @@ explorerCpt = R.hooksComponent "G.C.GraphExplorer.explorer" cpt ...@@ -129,12 +129,6 @@ explorerCpt = R.hooksComponent "G.C.GraphExplorer.explorer" cpt
] ]
] ]
graphClassName :: Record Controls.Controls -> String
--graphClassName {showSidePanel: (GET.Opened /\ _), showTree: (true /\ _)} = "col-md-8"
--graphClassName {showTree: (true /\ _)} = "col-md-10"
--graphClassName {showSidePanel: (GET.Opened /\ _)} = "col-md-10"
graphClassName _ = "col-md-12"
outer = RH.div { className: "col-md-12" } outer = RH.div { className: "col-md-12" }
inner = RH.div { className: "container-fluid", style: { paddingTop: "90px" } } inner = RH.div { className: "container-fluid", style: { paddingTop: "90px" } }
row1 = RH.div { className: "row", style: { paddingBottom: "10px", marginTop: "-24px" } } row1 = RH.div { className: "row", style: { paddingBottom: "10px", marginTop: "-24px" } }
......
Markdown is supported
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