diff options
| author | Tor Norbye <tnorbye@google.com> | 2014-09-18 11:43:07 -0700 |
|---|---|---|
| committer | Tor Norbye <tnorbye@google.com> | 2014-09-18 11:43:28 -0700 |
| commit | e782c57d74000722f9db4c9426317410520670c6 (patch) | |
| tree | 6e5d3e8934107ffabb7661f8bfc0e1a08eb37faf /platform/platform-api/src/com/intellij/openapi/fileEditor/FileEditorManager.java | |
| parent | c3d3a90f6b4ead083d63e28e6b9fcea93d675678 (diff) | |
| download | idea-e782c57d74000722f9db4c9426317410520670c6.tar.gz | |
Snapshot idea/138.2210 from git://git.jetbrains.org/idea/community.git
Change-Id: I8f0204d7887ee78cf1fd8c09f936c5afff0edd2f
Diffstat (limited to 'platform/platform-api/src/com/intellij/openapi/fileEditor/FileEditorManager.java')
| -rw-r--r-- | platform/platform-api/src/com/intellij/openapi/fileEditor/FileEditorManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/platform-api/src/com/intellij/openapi/fileEditor/FileEditorManager.java b/platform/platform-api/src/com/intellij/openapi/fileEditor/FileEditorManager.java index 86e719eef48d..dcb1327f1a10 100644 --- a/platform/platform-api/src/com/intellij/openapi/fileEditor/FileEditorManager.java +++ b/platform/platform-api/src/com/intellij/openapi/fileEditor/FileEditorManager.java @@ -197,5 +197,5 @@ public abstract class FileEditorManager { * @param fileEditorProviderId the ID of the file editor to open; matches the return value of * {@link com.intellij.openapi.fileEditor.FileEditorProvider#getEditorTypeId()} */ - public abstract void setSelectedEditor(@NotNull VirtualFile file, String fileEditorProviderId); + public abstract void setSelectedEditor(@NotNull VirtualFile file, @NotNull String fileEditorProviderId); } |