From 91bbd7378e2624cc105084a4bfc4923d81ebf4ee Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Mon, 22 Oct 2012 20:47:19 +0400
Subject: [PATCH] Added TODOs in ConfigureKotlinLibraryNotificationProvider to
 make it easier to migrate to newer IDEA.

---
 .../ConfigureKotlinLibraryNotificationProvider.java  | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/quickfix/ConfigureKotlinLibraryNotificationProvider.java b/idea/src/org/jetbrains/jet/plugin/quickfix/ConfigureKotlinLibraryNotificationProvider.java
index 70fd9306a7c..840bd74de1a 100644
--- a/idea/src/org/jetbrains/jet/plugin/quickfix/ConfigureKotlinLibraryNotificationProvider.java
+++ b/idea/src/org/jetbrains/jet/plugin/quickfix/ConfigureKotlinLibraryNotificationProvider.java
@@ -65,23 +65,25 @@ import java.io.IOException;
 
 import static org.jetbrains.jet.plugin.project.JsModuleDetector.isJsModule;
 
+// TODO change "implements" to "extends" on updating to IDEA 122.598+
 public class ConfigureKotlinLibraryNotificationProvider implements EditorNotifications.Provider<EditorNotificationPanel> {
     private static final Key<EditorNotificationPanel> KEY = Key.create("configure.kotlin.library");
     public static final String LIBRARY_NAME = "KotlinRuntime";
     public static final String KOTLIN_RUNTIME_JAR = "kotlin-runtime.jar";
     private final Project myProject;
 
+    public ConfigureKotlinLibraryNotificationProvider(Project project) {
+        myProject = project;
+    }
+
     @Override
     public Key<EditorNotificationPanel> getKey() {
         return KEY;
     }
 
-    public ConfigureKotlinLibraryNotificationProvider(Project project) {
-        myProject = project;
-    }
-
-
     @Override
+    // TODO change signature on updating to IDEA 122.598+
+    //public EditorNotificationPanel createNotificationPanel(VirtualFile file, FileEditor fileEditor) {
     public EditorNotificationPanel createNotificationPanel(VirtualFile file) {
         try {
             if (file.getFileType() != JetFileType.INSTANCE) return null;