Merge Requests · gargantext / purescript-gargantext

Dev ngrams refactoring

!52 · opened Apr 17, 2020 by Przemyslaw Kaminski
- MERGED
- 1
updated May 29, 2020
Iframe interaction

!54 · opened Apr 20, 2020 by Mael NICOLAS
- MERGED
- 3
updated May 27, 2020
update handling of corpus id extraction to display selected tree nodes

!58 · opened May 14, 2020 by Justin Woo
- MERGED
- 0
updated May 14, 2020
[index] don't use material icons

!59 · opened May 14, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated May 14, 2020
[tree] Fix for corpus creation progress bar

!57 · opened Apr 23, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Apr 27, 2020
[async] #131 fix async task status parsing

!56 · opened Apr 23, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Apr 23, 2020
write generics-rep implementation for decoding sum types

!53 · opened Apr 20, 2020 by Justin Woo
- MERGED
- 0
updated Apr 20, 2020
[ngrams] select all buttons (+ candidate button)

!51 · opened Apr 09, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Apr 09, 2020
Dev ngrams pagination fix

!50 · opened Apr 03, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Apr 04, 2020
Dev graph async update

!49 · opened Apr 03, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Apr 04, 2020
Lists ngramstable

!48 · opened Mar 25, 2020 by Justin Woo
- MERGED
- 0
updated Mar 25, 2020
Dev scroll fix

!46 · opened Mar 18, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Mar 25, 2020
Dev version

!47 · opened Mar 20, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Mar 20, 2020
[graph] add gexf file download button

!44 · opened Mar 13, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Mar 15, 2020
[Upload] add file name when uploading it

!43 · opened Mar 04, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Mar 04, 2020
add shell for preparing dev tooling and generate purs-packages.nix

!42 · opened Mar 04, 2020 by Justin Woo
- MERGED
- 0
updated Mar 04, 2020
[tree] add dashboard view for Folder, Private, Shared, Public

!40 · opened Mar 02, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Mar 03, 2020
Dev user page

!41 · opened Mar 03, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Mar 03, 2020
fix margin left in tree based on node type, giving user less margin

!32 · opened Jan 28, 2020 by Justin Woo
- MERGED
- 3
updated Feb 19, 2020
Reload tree on rename

!34 · opened Jan 31, 2020 by Justin Woo
- MERGED
- 0
updated Feb 19, 2020