Revision 50395
Added by Stefania Martziou about 6 years ago
RepositoryManager.java | ||
---|---|---|
149 | 149 |
|
150 | 150 |
//TODO use role instead of email |
151 | 151 |
if(RepositoryManager.currentUserRole.equals("admin")) { |
152 |
Document.get().getElementById("adminMenuHeader").getStyle().setDisplay(Style.Display.BLOCK); |
|
153 |
Document.get().getElementById("adminMenuHelpTexts").getStyle().setDisplay(Style.Display.BLOCK); |
|
154 |
Document.get().getElementById("adminMenuMetrics").getStyle().setDisplay(Style.Display.BLOCK); |
|
155 |
|
|
152 | 156 |
Document.get().getElementById("admin1").getStyle().setDisplay(Style.Display.BLOCK); |
153 |
Document.get().getElementById("admin2").getStyle().setDisplay(Style.Display.BLOCK); |
|
154 | 157 |
} |
155 | 158 |
|
156 | 159 |
String finalHistoryToken = getFinalHistoryToken(hashValue); |
Also available in: Unified diff
Moved the admin menu under the user's menu in non-mobile version