View | Details | Raw Unified | Return to bug 345003 | Differences between
and this patch

Collapse All | Expand All

(-)ui/org/eclipse/jdt/internal/ui/preferences/formatter/ProfileManager.java (-1 / +1 lines)
Lines 285-291 Link Here
285 
		@Override
 285 
		@Override
286 
		public Profile rename(String name, ProfileManager manager) {
 286 
		public Profile rename(String name, ProfileManager manager) {
287 
			CustomProfile profile= new CustomProfile(name.trim(), getSettings(), getVersion(), getKind());
 287 
			CustomProfile profile= new CustomProfile(name.trim(), getSettings(), getVersion(), getKind());
288 


              288
              
			profile.setManager(fManager);

            

        

          289
          
			manager.profileReplaced(this, profile);

          289
          
			manager.profileReplaced(this, profile);

        

        

          290
          
			return profile;

          290
          
			return profile;

        

        

          291
          
		}

          291
          
		}

        






  

  Return to bug 345003