58   private Float    elevation;  field in LevelController
204   public void setElevation(Float elevation) {  in setElevation()  argument
205     setElevation(elevation, true);  in setElevation()
208   private void setElevation(Float elevation, boolean updateLevels) {  in setElevation()  argument
209     if (elevation != this.elevation) {  in setElevation()
210       Float oldElevation = this.elevation;  in setElevation()
211       this.elevation = elevation;  in setElevation()
212 … this.propertyChangeSupport.firePropertyChange(Property.ELEVATION.name(), oldElevation, elevation);  in setElevation()  local
215           && elevation != null  in setElevation()
218             elevation, Arrays.asList(this.levels));  in setElevation()
229   private static int updateLevelElevation(Level level, float elevation, List<Level> levels) {  in updateLevelElevation()  argument
239         if (homeLevel.getElevation() == elevation) {  in updateLevelElevation()
247     level.setElevation(elevation);  in updateLevelElevation()
256     return this.elevation;  in getElevation()
411       Float elevation = getElevation();  in modifyLevels()  local
418 …doModifyLevel(this.home, modifiedLevel, name, viewable, elevation, floorThickness, height, elevati…  in modifyLevels()
422             modifiedLevel, name, viewable,  elevation, floorThickness, height, elevationIndex);  in modifyLevels()
441     private final Float         elevation;  field in LevelController.LevelModificationUndoableEdit
452                                           Float elevation,  in LevelModificationUndoableEdit()  argument
462       this.elevation = elevation;  in LevelModificationUndoableEdit()
481           this.elevation, this.floorThickness, this.height, this.elevationIndex);  in redo()
489                                     String name, Boolean viewable, Float elevation,  in doModifyLevel()  argument
501     if (elevation != null  in doModifyLevel()
502         && elevation != level.getElevation()) {  in doModifyLevel()
503       updateLevelElevation(level, elevation, home.getLevels());  in doModifyLevel()
562     private final float   elevation;  field in LevelController.ModifiedLevel
571       this.elevation = level.getElevation();  in ModifiedLevel()
582       return this.elevation;  in getElevation()