EDU-525 Empty Editor shouldn't be replaced in educational plugins
[idea/community.git] / python / educational-python / src / META-INF / PyCharmEduPlugin.xml
1 <idea-plugin version="2" xmlns:xi="http://www.w3.org/2001/XInclude">
2   <!-- Components and extensions declared in this file work ONLY in Pycharm Educational Edition -->
3
4   <application-components>
5     <component>
6       <implementation-class>com.jetbrains.python.edu.PyCharmEduInitialConfigurator$First</implementation-class>
7       <headless-implementation-class/>
8     </component>
9   </application-components>
10
11   <xi:include href="/META-INF/IdeTipsAndTricks.xml" xpointer="xpointer(/idea-plugin/*)"/>
12   <xi:include href="/META-INF/pycharm-core.xml" xpointer="xpointer(/idea-plugin/*)"/>
13   <xi:include href="/META-INF/python-core-ide.xml" xpointer="xpointer(/idea-plugin/*)"/>
14   
15   <application-components>
16     <component>
17       <implementation-class>com.jetbrains.python.edu.PyCharmEduInitialConfigurator</implementation-class>
18       <headless-implementation-class/>
19     </component>
20   </application-components>
21
22   <extensions defaultExtensionNs="com.intellij">
23       <programRunner implementation="com.jetbrains.python.edu.debugger.PyEduDebugRunner"/>
24       <executor implementation="com.jetbrains.python.edu.debugger.PyEduDebugExecutor" order="first,after run"/>
25       <consoleInputFilterProvider implementation="com.jetbrains.python.edu.debugger.PyEduConsoleInputFilterProvider"/>
26       <applicationService serviceInterface="com.intellij.openapi.fileEditor.impl.EditorEmptyTextPainter"
27                         serviceImplementation="com.jetbrains.edu.learning.StudyInstructionPainter" overrides="true"/>
28   </extensions>
29
30 </idea-plugin>