mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-25 18:05:33 +02:00
Bug 378691 - [terminal][api] Terminal Preferences should be maintained in the Widget (for font, invert, and buffer)
This commit is contained in:
parent
4974dfe884
commit
c5cbe532fa
6 changed files with 6 additions and 6 deletions
|
@ -41,7 +41,7 @@
|
|||
<import plugin="org.eclipse.debug.core"/>
|
||||
<import plugin="org.eclipse.debug.ui"/>
|
||||
<import plugin="org.eclipse.jface"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.1.0" match="equivalent"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.2.0" match="equivalent"/>
|
||||
<import plugin="org.eclipse.tm.terminal.view" version="2.0.0" match="greaterOrEqual"/>
|
||||
<import plugin="org.eclipse.ui"/>
|
||||
<import plugin="org.eclipse.ui.externaltools"/>
|
||||
|
|
|
@ -35,7 +35,7 @@
|
|||
<requires>
|
||||
<import plugin="org.eclipse.ui"/>
|
||||
<import plugin="org.eclipse.core.runtime"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.1.0" match="equivalent"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.2.0" match="equivalent"/>
|
||||
</requires>
|
||||
|
||||
<plugin
|
||||
|
|
|
@ -35,7 +35,7 @@
|
|||
<requires>
|
||||
<import plugin="org.eclipse.ui"/>
|
||||
<import plugin="org.eclipse.core.runtime"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.1.0" match="equivalent"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.2.0" match="equivalent"/>
|
||||
<import plugin="org.eclipse.jsch.core" version="1.0.0" match="compatible"/>
|
||||
<import plugin="com.jcraft.jsch" version="0.1.31" match="compatible"/>
|
||||
</requires>
|
||||
|
|
|
@ -35,7 +35,7 @@
|
|||
<requires>
|
||||
<import plugin="org.eclipse.ui"/>
|
||||
<import plugin="org.eclipse.core.runtime"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.1.0" match="equivalent"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.2.0" match="equivalent"/>
|
||||
</requires>
|
||||
|
||||
<plugin
|
||||
|
|
|
@ -35,7 +35,7 @@
|
|||
<requires>
|
||||
<import plugin="org.eclipse.ui"/>
|
||||
<import plugin="org.eclipse.core.runtime"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.1.0" match="equivalent"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.2.0" match="equivalent"/>
|
||||
<import plugin="org.junit" version="3.8.1" match="compatible"/>
|
||||
<import plugin="org.apache.ant"/>
|
||||
</requires>
|
||||
|
|
|
@ -36,7 +36,7 @@
|
|||
<requires>
|
||||
<import plugin="org.eclipse.ui"/>
|
||||
<import plugin="org.eclipse.core.runtime"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.1.0" match="equivalent"/>
|
||||
<import plugin="org.eclipse.tm.terminal" version="3.2.0" match="equivalent"/>
|
||||
</requires>
|
||||
|
||||
<plugin
|
||||
|
|
Loading…
Add table
Reference in a new issue