Lines 13-18
Link Here
|
13 |
* Contributors: |
13 |
* Contributors: |
14 |
* David Dykstal (IBM) - created and used RSEPreferencesManager |
14 |
* David Dykstal (IBM) - created and used RSEPreferencesManager |
15 |
* - moved SystemPreferencesManager to a new plugin |
15 |
* - moved SystemPreferencesManager to a new plugin |
|
|
16 |
* Kevin Doyle (IBM) - [197199] Renaming a Profile doesn't cause a save |
16 |
********************************************************************************/ |
17 |
********************************************************************************/ |
17 |
|
18 |
|
18 |
package org.eclipse.rse.internal.core.model; |
19 |
package org.eclipse.rse.internal.core.model; |
Lines 173-181
Link Here
|
173 |
boolean isActive = isSystemProfileActive(profile.getName()); |
174 |
boolean isActive = isSystemProfileActive(profile.getName()); |
174 |
String oldName = profile.getName(); |
175 |
String oldName = profile.getName(); |
175 |
profile.setName(newName); |
176 |
profile.setName(newName); |
176 |
if (isActive) RSEPreferencesManager.renameActiveProfile(oldName, newName); |
177 |
if (isActive) { |
177 |
// invalidateCache(); |
178 |
RSEPreferencesManager.renameActiveProfile(oldName, newName); |
178 |
// FIXME RSEUIPlugin.getThePersistenceManager().save(this); |
179 |
} |
|
|
180 |
// Commit the profile to reflect the name change |
181 |
RSECorePlugin.getThePersistenceManager().commitProfile(profile, 5000); |
182 |
// Delete the profile by the old name, which is done in a separate job. |
183 |
RSECorePlugin.getThePersistenceManager().deleteProfile(profile.getPersistenceProvider(), oldName); |
179 |
} |
184 |
} |
180 |
|
185 |
|
181 |
/* (non-Javadoc) |
186 |
/* (non-Javadoc) |