MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-26 19:06:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

notnull

Browse Source
This commit is contained in:
Alexey Kudravtsev
2017-04-25 17:19:19 +03:00
parent 06156396fa
commit b5e2bbce5b
21 changed files with 139 additions and 100 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/pluginCore/com/jetbrains/python/facet/PythonSdkTableListener.java
+4 -3
View File
@@ -26,6 +26,7 @@ import com.intellij.openapi.roots.libraries.Library;
import com.intellij.openapi.roots.libraries.LibraryTable;
import com.intellij.util.messages.MessageBus;
import com.jetbrains.python.sdk.PythonSdkType;
import org.jetbrains.annotations.NotNull;
/**
* @author yole
@@ -34,7 +35,7 @@ public class PythonSdkTableListener implements Disposable {
public PythonSdkTableListener(MessageBus messageBus) {
ProjectJdkTable.Listener jdkTableListener = new ProjectJdkTable.Listener() {
@Override
public void jdkAdded(final Sdk sdk) {
public void jdkAdded(@NotNull final Sdk sdk) {
if (sdk.getSdkType() instanceof PythonSdkType) {
ApplicationManager.getApplication().invokeLater(() -> ApplicationManager.getApplication().runWriteAction(() -> {
addLibrary(sdk);
@@ -43,14 +44,14 @@ public class PythonSdkTableListener implements Disposable {
}
@Override
public void jdkRemoved(final Sdk sdk) {
public void jdkRemoved(@NotNull final Sdk sdk) {
if (sdk.getSdkType() instanceof PythonSdkType) {
removeLibrary(sdk);
}
}
@Override
public void jdkNameChanged(final Sdk sdk, final String previousName) {
public void jdkNameChanged(@NotNull final Sdk sdk, @NotNull final String previousName) {
if (sdk.getSdkType() instanceof PythonSdkType) {
renameLibrary(sdk, previousName);
}