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

app server editor: don't show 'change version' button for app server library

Browse Source
This commit is contained in:
nik
2013-11-07 10:48:46 +04:00
parent f510156c71
commit 5a47ef8751
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/libraryEditor/ExistingLibraryEditor.java
+7 -4
View File
@@ -71,10 +71,13 @@ public class ExistingLibraryEditor extends LibraryEditorBase implements Disposab
private LibraryType detectType() {
if (!myDetectedTypeComputed) {
final Pair<LibraryType<?>,LibraryProperties<?>> pair = LibraryDetectionManager.getInstance().detectType(Arrays.asList(getFiles(OrderRootType.CLASSES)));
if (pair != null) {
myDetectedType = pair.getFirst();
myDetectedLibraryProperties = pair.getSecond();
LibraryTable libraryTable = myLibrary.getTable();
if (libraryTable == null || libraryTable.isEditable()) {
final Pair<LibraryType<?>,LibraryProperties<?>> pair = LibraryDetectionManager.getInstance().detectType(Arrays.asList(getFiles(OrderRootType.CLASSES)));
if (pair != null) {
myDetectedType = pair.getFirst();
myDetectedLibraryProperties = pair.getSecond();
}
}
myDetectedTypeComputed = true;
}