docroot/WEB-INF/src/it/infn/ct/AppPreferences.java
public void switchPreviousInfrastructure() {
        if(inumInfrastructures > 0) {
            currPaneInfrastucture--;
            if(currPaneInfrastucture <= 0)
                currPaneInfrastucture = inumInfrastructures;  
        }
    }
/**
     * Switch to the next infrastructure (currPaneInfrastructure)
     * 
     * 
     * @see         AppPreferences
     * @see         AppInfrastructureInfo
     */
Switch to the next infrastructure (currPaneInfrastructure)


Switch to the next infrastructure ( currPaneInfrastructure )
public void switchPreviousInfrastructure() {
        if(inumInfrastructures > 0) {
            currPaneInfrastucture--;
            if(currPaneInfrastucture <= 0)
                currPaneInfrastucture = inumInfrastructures;  
        }
    }
public void switchPreviousInfrastructure ( ) { if ( inumInfrastructures > 0 ) { currPaneInfrastucture -- ; if ( currPaneInfrastucture <= 0 ) currPaneInfrastucture = inumInfrastructures ; } }
Switch to the next infrastructure (currPaneInfrastructure)
Switch to the next infrastructure ( currPaneInfrastructure )