projects
/
lgpl
/
argeo-commons.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e50c2fd
)
Fix current user name label in the main menu of the Rap workbench
author
Bruno Sinou <bsinou@argeo.org>
Tue, 22 Nov 2016 16:59:01 +0000
(16:59 +0000)
committer
Bruno Sinou <bsinou@argeo.org>
Tue, 22 Nov 2016 16:59:01 +0000
(16:59 +0000)
git-svn-id: https://svn.argeo.org/commons/trunk@9322
4cfe0d0a
-d680-48aa-b62c-
e0a02a3f76cc
org.argeo.cms.ui.workbench.rap/plugin.xml
patch
|
blob
|
history
diff --git
a/org.argeo.cms.ui.workbench.rap/plugin.xml
b/org.argeo.cms.ui.workbench.rap/plugin.xml
index e5b083ded55128ce90ce541140dd116523c88a52..181949a7b778ea602b75ce1313c7e9fe7023a74b 100644
(file)
--- a/
org.argeo.cms.ui.workbench.rap/plugin.xml
+++ b/
org.argeo.cms.ui.workbench.rap/plugin.xml
@@
-75,11
+75,11
@@
<menuContribution locationURI="menu:org.argeo.cms.ui.workbench.rap.mainMenu">
<!-- Managed programmatically in the RapActionBarAdvisor to enable
the display of the current logged-in user id -->
-
<!--
<command
+
<command
commandId="org.argeo.cms.ui.workbench.rap.userMenuCommand"
icon="icons/main.gif"
id="org.argeo.cms.ui.workbench.rap.userMenu">
- </command>
-->
+ </command>
<!-- Still unused
<command
commandId="org.eclipse.ui.window.preferences"