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

RemoteSdkProducer renamed to RemoteSdkCredentialsProducer

Browse Source
This commit is contained in:
Oleg Sukhodolsky
2014-06-16 16:04:07 +02:00
parent 2264ee6dd2
commit a6b834d724
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/remote/RemoteSdkAdditionalData.java
+1 -1
View File
@@ -22,7 +22,7 @@ import org.jetbrains.annotations.NotNull;
* @author traff
*/
public interface RemoteSdkAdditionalData<T extends RemoteSdkCredentials>
extends SdkAdditionalData, RemoteSdkProducer<T>, RemoteSdkProperties {
extends SdkAdditionalData, RemoteSdkCredentialsProducer<T>, RemoteSdkProperties {
void completeInitialization();
boolean isInitialized();
platform/platform-impl/src/com/intellij/remote/RemoteSdkProducer.java → platform/platform-impl/src/com/intellij/remote/RemoteSdkCredentialsProducer.java
+1 -1
View File
@@ -21,7 +21,7 @@ import com.intellij.util.Consumer;
/**
* @author traff
*/
public interface RemoteSdkProducer<T extends RemoteSdkCredentials> {
public interface RemoteSdkCredentialsProducer<T extends RemoteSdkCredentials> {
/**
* Synchronously returns remote sdk credentials
* @return