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
6bcebd63
Commit
6bcebd63
authored
May 20, 2020
by
Przemyslaw Kaminski
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[ngrams] fix vertical space in the header
parent
30796617
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
57 additions
and
43 deletions
+57
-43
NgramsTable.purs
src/Gargantext/Components/NgramsTable.purs
+57
-43
No files found.
src/Gargantext/Components/NgramsTable.purs
View file @
6bcebd63
...
@@ -139,54 +139,64 @@ tableContainerCpt { dispatch
...
@@ -139,54 +139,64 @@ tableContainerCpt { dispatch
H.div {className: "jumbotron1"}
H.div {className: "jumbotron1"}
[ R2.row
[ R2.row
[ H.div {className: "panel panel-default"}
[ H.div {className: "panel panel-default"}
[ H.div {className: "panel-heading"}
[ H.div {className: "panel-heading"} [
[ H.h2 {className: "panel-title", style: {textAlign : "center"}}
R2.row
[ H.span {className: "glyphicon glyphicon-hand-down"} []
[ H.div {className: "col-md-2", style: {marginTop: "6px"}}
, H.text "Extracted Terms"
[
]
if A.null props.tableBody && searchQuery /= "" then
, R2.row
H.li { className: "list-group-item" } [
[ H.div {className: "col-md-3", style: {marginTop: "6px"}}
[ H.div {} (
if A.null props.tableBody && searchQuery /= "" then [
H.button { className: "btn btn-primary"
H.button { className: "btn btn-primary"
, on: { click: const $ dispatch
, on: { click: const $ dispatch
$ addNewNgramA
$ addNewNgramA
$ normNgram tabNgramType searchQuery
$ normNgram tabNgramType searchQuery
}
}
}
}
[ H.text ("Add " <> searchQuery) ]
[ H.text ("Add " <> searchQuery) ]
] else []
] else H.div {} []
)
]
]
, H.div {className: "col-md-2", style: {marginTop : "6px"}}
, H.div {className: "col-md-2", style: {marginTop : "6px"}}
[ H.li {className: "list-group-item"}
[ H.li {className: "list-group-item"}
[ R2.select { id: "picklistmenu"
[ R2.select { id: "picklistmenu"
, className: "form-control custom-select"
, className: "form-control custom-select"
, defaultValue: (maybe "" show termListFilter)
, defaultValue: (maybe "" show termListFilter)
, on: {change: setTermListFilter <<< readTermList <<< R2.unsafeEventValue}}
, on: {change: setTermListFilter <<< readTermList <<< R2.unsafeEventValue}}
(map optps1 termLists)]
(map optps1 termLists)]
]
]
, H.div {className: "col-md-2", style: {marginTop : "6px"}}
, H.div {className: "col-md-2", style: {marginTop : "6px"}}
[ H.li {className: "list-group-item"}
[ H.li {className: "list-group-item"}
[ R2.select {id: "picktermtype"
[ R2.select {id: "picktermtype"
, className: "form-control custom-select"
, className: "form-control custom-select"
, defaultValue: (maybe "" show termSizeFilter)
, defaultValue: (maybe "" show termSizeFilter)
, on: {change: setTermSizeFilter <<< readTermSize <<< R2.unsafeEventValue}}
, on: {change: setTermSizeFilter <<< readTermSize <<< R2.unsafeEventValue}}
(map optps1 termSizes)]
(map optps1 termSizes)]
]
]
, H.div { className: "col-md-2", style: { marginTop: "6px" } } [
, H.div {className: "col-md-4", style: {marginTop : "6px", marginBottom : "1px"}}
H.li {className: "list-group-item"} [
[ H.li {className: "list-group-item"}
H.div { className: "form-inline" } [
[ props.pageSizeDescription
H.div { className: "form-group" } [
, props.pageSizeControl
props.pageSizeControl
, H.text " items / "
, H.label {} [ H.text " items" ]
, props.paginationLinks ]
-- H.div { className: "col-md-6" } [ props.pageSizeControl ]
-- , H.div { className: "col-md-6" } [
-- ]
]
]
]
]
]
]
, H.div {className: "col-md-4", style: {marginTop : "6px", marginBottom : "1px"}} [
H.li {className: "list-group-item"} [
props.pageSizeDescription
, props.paginationLinks
]
]
]
]
]
, editor
, editor
, H.li {className: "list-group-item"} [
, if (selectionsExist ngramsSelection) then
selectButtons (selectionsExist ngramsSelection)
H.li {className: "list-group-item"} [
]
selectButtons true
] else
H.div {} []
, H.div {id: "terms_table", className: "panel-body"}
, H.div {id: "terms_table", className: "panel-body"}
[ H.table {className: "table able"}
[ H.table {className: "table able"}
[ H.thead {className: "tableHeader"} [props.tableHead]
[ H.thead {className: "tableHeader"} [props.tableHead]
...
@@ -275,7 +285,11 @@ loadedNgramsTableCpt = R.hooksComponent "G.C.NT.loadedNgramsTable" cpt
...
@@ -275,7 +285,11 @@ loadedNgramsTableCpt = R.hooksComponent "G.C.NT.loadedNgramsTable" cpt
pure $ R.fragment $
pure $ R.fragment $
autoUpdate <> resetSaveButtons <> [
autoUpdate <> resetSaveButtons <> [
search
H.h4 {style: {textAlign : "center"}} [
H.span {className: "glyphicon glyphicon-hand-down"} []
, H.text "Extracted Terms"
]
, search
, T.table { colNames
, T.table { colNames
, container: tableContainer { dispatch: performAction
, container: tableContainer { dispatch: performAction
, ngramsChildren
, ngramsChildren
...
...
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