Merge Requests · gargantext / purescript-gargantext

use psc-package-nix for project nix building

!70 · opened Jul 03, 2020 by Justin Woo
- MERGED
- 0
updated Jul 07, 2020
Dev list charts

!65 · opened Jul 01, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Jul 03, 2020
[forest] fix mPanelAction

!69 · opened Jul 02, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Jul 02, 2020
[UI] #184 Tweaked layout of hide/show tree/control/sidebar buttons.

!66 · opened Jul 02, 2020 by Ghost User
- MERGED
- 0
updated Jul 02, 2020
Dev list charts

!64 · opened Jun 22, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Jun 22, 2020
[explorer] fix nodeSize/labelSize controls

!55 · opened Apr 21, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Jun 22, 2020
allow encoding enum style sum types as string literals

!63 · opened Jun 17, 2020 by Justin Woo
- MERGED
- 0
updated Jun 17, 2020
handle sum type nullary constructors in generic JSON

!62 · opened Jun 16, 2020 by Justin Woo
- MERGED
- 0
updated Jun 17, 2020
Dev async tasks local storage

!61 · opened Jun 01, 2020 by Przemyslaw Kaminski
- MERGED
- 0
updated Jun 01, 2020
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