MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

EA-127430 - CCE: PluginManagerConfigurableNew$.create

Browse Source
This commit is contained in:
Alexander Lobas
2018-10-05 19:05:44 +03:00
parent a38503dc88
commit 2d17627529
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerConfigurableNew.java
+7 -3
View File
@@ -404,9 +404,10 @@ public class PluginManagerConfigurableNew
if (index == UPDATES_SEARCH_TAB) {
return myUpdatesSearchPanel.createScrollPane();
}
throw new RuntimeException("Create card unknown KEY index: " + key);
}
//noinspection ConstantConditions,unchecked
//noinspection unchecked
return createDetailsPanel((Pair<IdeaPluginDescriptor, Boolean>)key);
}
};
@@ -520,11 +521,14 @@ public class PluginManagerConfigurableNew
}
private static int getStoredSelectionTab() {
return PropertiesComponent.getInstance().getInt(SELECTION_TAB_KEY, TRENDING_TAB);
int value = PropertiesComponent.getInstance().getInt(SELECTION_TAB_KEY, TRENDING_TAB);
return value >= TRENDING_TAB && value <= UPDATES_TAB ? value : TRENDING_TAB;
}
private static void storeSelectionTab(int value) {
PropertiesComponent.getInstance().setValue(SELECTION_TAB_KEY, value, TRENDING_TAB);
if (value >= TRENDING_TAB && value <= UPDATES_TAB) {
PropertiesComponent.getInstance().setValue(SELECTION_TAB_KEY, value, TRENDING_TAB);
}
}
@Override