Commit 0edb3875 authored by Fabien Manière's avatar Fabien Manière

remove the delete button to avoid confusion - deleting documents node...

remove the delete button to avoid confusion - deleting documents node currently does not really delete them and we have to delete them from the Corpus node
parent ffd9da9c
......@@ -259,7 +259,7 @@ settingsBoxLens NodeTexts =
_buttons .~ [ ReloadWithSettings
-- , Upload
, Download
, Delete
-- , Delete
]
settingsBoxLens NodeUser =
(_edit .~ false) <<<
......
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