From f45414b98190d0453d0a00fd77a5d4fb824ceb9f Mon Sep 17 00:00:00 2001 From: Bruno Sinou Date: Wed, 8 Jan 2014 18:42:02 +0000 Subject: [PATCH] Reduce visibility of JCR explorer to users that are in ROLE_ADMIN See https://www.argeo.org/bugzilla/show_bug.cgi?id=206 git-svn-id: https://svn.argeo.org/commons/trunk@6716 4cfe0d0a-d680-48aa-b62c-e0a02a3f76cc --- .../org.argeo.jcr.ui.explorer/plugin.xml | 228 +++++++++--------- 1 file changed, 116 insertions(+), 112 deletions(-) diff --git a/server/plugins/org.argeo.jcr.ui.explorer/plugin.xml b/server/plugins/org.argeo.jcr.ui.explorer/plugin.xml index 31f33eb70..a34360717 100644 --- a/server/plugins/org.argeo.jcr.ui.explorer/plugin.xml +++ b/server/plugins/org.argeo.jcr.ui.explorer/plugin.xml @@ -206,111 +206,123 @@ icon="icons/addWorkspace.png" label="Create Workspace" style="push"> - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + --> + \ No newline at end of file -- 2.30.2