EDU-525 Empty Editor shouldn't be replaced in educational plugins
[idea/community.git] / python / educational-python / src / META-INF / PyCharmEduPlugin.xml
index a8aa6f5787632886a28484b31c187a2a5f757ae5..d4878edd51b5ad3b16e240cae34c3a8ad3280855 100644 (file)
@@ -23,6 +23,8 @@
       <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"/>
+      <applicationService serviceInterface="com.intellij.openapi.fileEditor.impl.EditorEmptyTextPainter"
+                        serviceImplementation="com.jetbrains.edu.learning.StudyInstructionPainter" overrides="true"/>
   </extensions>
 
 </idea-plugin>