Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
P
purescript-gargantext
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Grégoire Locqueville
purescript-gargantext
Commits
9a59820e
Commit
9a59820e
authored
Jan 27, 2021
by
Przemyslaw Kaminski
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[graph explorer] sidebar styling fixes
parent
3825d570
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
6 additions
and
4 deletions
+6
-4
Sidebar.purs
src/Gargantext/Components/GraphExplorer/Sidebar.purs
+6
-4
No files found.
src/Gargantext/Components/GraphExplorer/Sidebar.purs
View file @
9a59820e
...
@@ -135,9 +135,11 @@ sideTab _ _ = H.div {} []
...
@@ -135,9 +135,11 @@ sideTab _ _ = H.div {} []
-- selectedNodes :: Record Props -> Map.Map String Nodes -> R.Element
-- selectedNodes :: Record Props -> Map.Map String Nodes -> R.Element
selectedNodes props nodesMap =
selectedNodes props nodesMap =
R2.row [ R2.col 12
R2.row [ R2.col 12
[ RH.ul { id: "myTab", className: "nav nav-tabs", role: "tablist"}
[ RH.ul { className: "nav nav-tabs d-flex justify-content-center"
, id: "myTab"
, role: "tablist" }
[ RH.div { className: "tab-content" }
[ RH.div { className: "tab-content" }
[ RH.div { className: ""
[ RH.div { className: "
d-flex flex-wrap justify-content-center
"
, role: "tabpanel" }
, role: "tabpanel" }
( Seq.toUnfoldable
( Seq.toUnfoldable
$ ( Seq.map (badge props.selectedNodeIds)
$ ( Seq.map (badge props.selectedNodeIds)
...
@@ -156,7 +158,7 @@ selectedNodes props nodesMap =
...
@@ -156,7 +158,7 @@ selectedNodes props nodesMap =
]
]
neighborhood props = RH.div { className: "tab-content", id: "myTabContent" }
neighborhood props = RH.div { className: "tab-content", id: "myTabContent" }
[ RH.div { -- className: "flex-space-around d-flex justify-content-center"
[ RH.div { -- className: "flex-space-around d-flex justify-content-center"
className: "
flex-space-around d-flex
"
className: "
d-flex flex-wrap flex-space-around
"
, id: "home"
, id: "home"
, role: "tabpanel"
, role: "tabpanel"
}
}
...
@@ -170,7 +172,7 @@ removeButton btnType text rType props' nodesMap' =
...
@@ -170,7 +172,7 @@ removeButton btnType text rType props' nodesMap' =
if Set.isEmpty $ fst props'.selectedNodeIds then
if Set.isEmpty $ fst props'.selectedNodeIds then
RH.div {} []
RH.div {} []
else
else
RH.button { className: "btn btn-" <> btnType
RH.button { className: "btn btn-
sm btn-
" <> btnType
, on: { click: onClickRemove rType props' nodesMap' }
, on: { click: onClickRemove rType props' nodesMap' }
}
}
[ RH.text text ]
[ RH.text text ]
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment