MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00
Code Issues Packages Projects Releases Wiki Activity

JediTerm 0.07

Browse Source
This commit is contained in:
Dmitry Trofimov
2013-07-15 16:22:15 +02:00
parent edba0b0324
commit f199db64af
4 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
plugins/terminal/lib/jediterm-pty-0.06.jar
View File

Binary file not shown.

BIN
plugins/terminal/lib/jediterm-pty-0.07.jar Normal file
View File

Binary file not shown.

2
plugins/terminal/resources/META-INF/terminal.xml
View File

@@ -9,7 +9,7 @@
<extensions defaultExtensionNs="com.intellij">
<toolWindow id="Terminal" anchor="bottom" icon="AllIcons.Ide.NoNotifications13"
factoryClass="org.jetbrains.plugins.terminal.TerminalToolWindowFactory" secondary="true"/>
factoryClass="org.jetbrains.plugins.terminal.TerminalToolWindowFactory" secondary="false"/>
<applicationService serviceInterface="org.jetbrains.plugins.terminal.TerminalView"
serviceImplementation="org.jetbrains.plugins.terminal.TerminalView"/>

2
plugins/terminal/terminal.iml
View File

@@ -42,7 +42,7 @@
<orderEntry type="module-library">
<library name="jediterm-pty">
<CLASSES>
<root url="jar://$MODULE_DIR$/lib/jediterm-pty-0.06.jar!/" />
<root url="jar://$MODULE_DIR$/lib/jediterm-pty-0.07.jar!/" />
</CLASSES>
<JAVADOC />
<SOURCES />