1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-06 00:25:25 +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:10:51 +00:00
parent 7843d17c60
commit b8a7d34506

View file

@ -773,7 +773,7 @@
<feature url="features/org.eclipse.rse.examples_3.1.300.qualifier.jar" id="org.eclipse.rse.examples" version="3.1.300.qualifier">
<category name="TM and RSE Uncategorized 3.4"/>
</feature>
<feature url="features/org.eclipse.rse.terminals_1.1.100.qualifier.jar" id="org.eclipse.rse.terminals" version="1.1.100.qualifier">
<feature url="features/org.eclipse.rse.terminals_1.2.0.qualifier.jar" id="org.eclipse.rse.terminals" version="1.2.0.qualifier">
<category name="TM and RSE Uncategorized 3.4"/>
</feature>
<feature url="features/org.eclipse.rse.tests_3.4.0.qualifier.jar" id="org.eclipse.rse.tests" version="3.4.0.qualifier">