correctly update to API change

This commit is contained in:
Dmitry Jemerov
2011-07-15 15:32:27 +02:00
parent bda97c53df
commit 53fb3483a2
@@ -1,15 +1,15 @@
package org.jetbrains.jet.plugin.debugger; package org.jetbrains.jet.plugin.debugger;
import com.intellij.debugger.PositionManager; import com.intellij.debugger.PositionManager;
//import com.intellij.debugger.PositionManagerFactory; import com.intellij.debugger.PositionManagerFactory;
import com.intellij.debugger.engine.DebugProcess; import com.intellij.debugger.engine.DebugProcess;
/** /**
* @author yole * @author yole
*/ */
public class JetPositionManagerFactory { //implements PositionManagerFactory { public class JetPositionManagerFactory extends PositionManagerFactory {
// @Override @Override
public PositionManager create(DebugProcess debugProcess) { public PositionManager createPositionManager(DebugProcess process) {
return new JetPositionManager(debugProcess); return new JetPositionManager(process);
} }
} }