[Settings] Publish NodeFile can be deleted

a9016e6a · Alexandre Delanoë · fb6fcc09 · a9016e6a
Commit a9016e6a authored Sep 28, 2020 by Alexandre Delanoë
Hide whitespace changes
Inline Side-by-side

Showing with 10 additions and 0 deletions

Settings.purs src/Gargantext/Components/Forest/Tree/Node/Settings.purs +10 -0

No files found.
--- a/src/Gargantext/Components/Forest/Tree/Node/Settings.purs
+++ b/src/Gargantext/Components/Forest/Tree/Node/Settings.purs
@@ -225,6 +225,16 @@ settingsBox (NodePublic Dashboard) =
                          ]
              }

+settingsBox (NodePublic NodeFile) =
+  SettingsBox { show : true
+              , edit : true
+              , doc  : Documentation NodeFile
+              , buttons : [ Delete
+                          ]
+              }
+
+
+
 settingsBox (NodePublic FolderPublic) =
  SettingsBox { show : true
              , edit : true