mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
simplification — introduce StateSplitterEx
This commit is contained in:
@@ -98,7 +98,7 @@ public abstract class DefaultProjectProfileManager extends ProjectProfileManager
|
||||
@Nullable
|
||||
@Override
|
||||
public synchronized Element getState() {
|
||||
Element state = new Element("state");
|
||||
Element state = new Element("settings");
|
||||
|
||||
String[] sortedProfiles = myProfiles.keySet().toArray(new String[myProfiles.size()]);
|
||||
Arrays.sort(sortedProfiles);
|
||||
|
||||
+1
-1
@@ -268,7 +268,7 @@ public class DirectoryStorageData extends StorageDataBase {
|
||||
if (subState == null) {
|
||||
return null;
|
||||
}
|
||||
subElements.add(state);
|
||||
subElements.add(subState);
|
||||
}
|
||||
|
||||
if (!subElements.isEmpty()) {
|
||||
|
||||
Reference in New Issue
Block a user