Commit 50e9e4ba authored by Fabien Maniere's avatar Fabien Maniere

dialog box for download terms: change the default opt to JSON

parent e97e7b30
Pipeline #6701 passed with stages
in 20 minutes and 29 seconds
...@@ -88,7 +88,7 @@ actionDownloadNodeList = R.createElement actionDownloadNodeListCpt ...@@ -88,7 +88,7 @@ actionDownloadNodeList = R.createElement actionDownloadNodeListCpt
actionDownloadNodeListCpt :: R.Component ActionDownload actionDownloadNodeListCpt :: R.Component ActionDownload
actionDownloadNodeListCpt = here.component "actionDownloadNodeList" cpt where actionDownloadNodeListCpt = here.component "actionDownloadNodeList" cpt where
cpt { id, session } _ = do cpt { id, session } _ = do
downloadFormat <- T.useBox NL_JSON_ZIP downloadFormat <- T.useBox NL_JSON
downloadFormat' <- T.useLive T.unequal downloadFormat downloadFormat' <- T.useLive T.unequal downloadFormat
pure $ pure $
......
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