Project

General

Profile

« Previous | Next » 

Revision 50395

Added by Stefania Martziou about 6 years ago

Moved the admin menu under the user's menu in non-mobile version

View differences:

NavigationManager.java
28 28 

  		




  29
  29
  
    
        //TODO use role instead of email


  		




  30
  30
  
    
        if(RepositoryManager.currentUserRole.equals("admin")) {


  		




  
  31
  
    
            Document.get().getElementById("adminMenuHeader").getStyle().setDisplay(Style.Display.BLOCK);


  		




  
  32
  
    
            Document.get().getElementById("adminMenuHelpTexts").getStyle().setDisplay(Style.Display.BLOCK);


  		




  
  33
  
    
            Document.get().getElementById("adminMenuMetrics").getStyle().setDisplay(Style.Display.BLOCK);


  		




  
  34
  
    

  		




  31
  35
  
    
            Document.get().getElementById("admin1").getStyle().setDisplay(Style.Display.BLOCK);


  		




  32
  
  
    
            Document.get().getElementById("admin2").getStyle().setDisplay(Style.Display.BLOCK);


  		




  33
  36
  
    
        } else {


  		




  
  37
  
    
            Document.get().getElementById("adminMenuHeader").getStyle().setDisplay(Style.Display.NONE);


  		




  
  38
  
    
            Document.get().getElementById("adminMenuHelpTexts").getStyle().setDisplay(Style.Display.NONE);


  		




  
  39
  
    
            Document.get().getElementById("adminMenuMetrics").getStyle().setDisplay(Style.Display.NONE);


  		




  
  40
  
    

  		




  34
  41
  
    
            Document.get().getElementById("admin1").getStyle().setDisplay(Style.Display.NONE);


  		




  35
  
  
    
            Document.get().getElementById("admin2").getStyle().setDisplay(Style.Display.NONE);


  		




  36
  42
  
    
        }


  		




  37
  43
  
    

  		




  38
  44
  
    
        RepositoryManager.previousToken = RepositoryManager.currentToken;


  		












Also available in:  Unified diff