EDU-525 Empty Editor shouldn't be replaced in educational plugins
[idea/community.git] / python / educational-python / src / META-INF / PyCharmEduPlugin.xml
index 29ae11e1ca4e67abc982ef8670a96071639a74f7..d4878edd51b5ad3b16e240cae34c3a8ad3280855 100644 (file)
     </component>
   </application-components>
 
-  <extensionPoints>
-    <extensionPoint qualifiedName="Edu.executeFile" interface="com.jetbrains.python.edu.PyExecuteFileExtensionPoint"/>
-  </extensionPoints>
-
   <extensions defaultExtensionNs="com.intellij">
       <programRunner implementation="com.jetbrains.python.edu.debugger.PyEduDebugRunner"/>
       <executor implementation="com.jetbrains.python.edu.debugger.PyEduDebugExecutor" order="first,after run"/>
       <consoleInputFilterProvider implementation="com.jetbrains.python.edu.debugger.PyEduConsoleInputFilterProvider"/>
-  </extensions>
-  <extensions defaultExtensionNs="Edu">
-    <executeFile implementation="com.jetbrains.python.edu.PyEduAddParametersAction" order="last"/>
-    <executeFile implementation="com.jetbrains.python.edu.PyDebugCurrentFile"/>
-
+      <applicationService serviceInterface="com.intellij.openapi.fileEditor.impl.EditorEmptyTextPainter"
+                        serviceImplementation="com.jetbrains.edu.learning.StudyInstructionPainter" overrides="true"/>
   </extensions>
 
 </idea-plugin>