1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-02 05:45:58 +02:00

Bug 378691 - [terminal][api] Terminal Preferences should be maintained in the Widget (for font, invert, and buffer)

This commit is contained in:
Martin Oberhuber 2012-05-07 18:47:24 +00:00
parent 8ac4e01b61
commit 4be59775c8
6 changed files with 6 additions and 6 deletions

View file

@ -41,7 +41,7 @@
<import plugin="org.eclipse.debug.core"/> <import plugin="org.eclipse.debug.core"/>
<import plugin="org.eclipse.debug.ui"/> <import plugin="org.eclipse.debug.ui"/>
<import plugin="org.eclipse.jface"/> <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.tm.terminal.view" version="2.0.0" match="greaterOrEqual"/>
<import plugin="org.eclipse.ui"/> <import plugin="org.eclipse.ui"/>
<import plugin="org.eclipse.ui.externaltools"/> <import plugin="org.eclipse.ui.externaltools"/>

View file

@ -35,7 +35,7 @@
<requires> <requires>
<import plugin="org.eclipse.ui"/> <import plugin="org.eclipse.ui"/>
<import plugin="org.eclipse.core.runtime"/> <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> </requires>
<plugin <plugin

View file

@ -35,7 +35,7 @@
<requires> <requires>
<import plugin="org.eclipse.ui"/> <import plugin="org.eclipse.ui"/>
<import plugin="org.eclipse.core.runtime"/> <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="org.eclipse.jsch.core" version="1.0.0" match="compatible"/>
<import plugin="com.jcraft.jsch" version="0.1.31" match="compatible"/> <import plugin="com.jcraft.jsch" version="0.1.31" match="compatible"/>
</requires> </requires>

View file

@ -35,7 +35,7 @@
<requires> <requires>
<import plugin="org.eclipse.ui"/> <import plugin="org.eclipse.ui"/>
<import plugin="org.eclipse.core.runtime"/> <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> </requires>
<plugin <plugin

View file

@ -35,7 +35,7 @@
<requires> <requires>
<import plugin="org.eclipse.ui"/> <import plugin="org.eclipse.ui"/>
<import plugin="org.eclipse.core.runtime"/> <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.junit" version="3.8.1" match="compatible"/>
<import plugin="org.apache.ant"/> <import plugin="org.apache.ant"/>
</requires> </requires>

View file

@ -36,7 +36,7 @@
<requires> <requires>
<import plugin="org.eclipse.ui"/> <import plugin="org.eclipse.ui"/>
<import plugin="org.eclipse.core.runtime"/> <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> </requires>
<plugin <plugin