mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-05 08:05:24 +02:00
Code Issues Wiki Activity

Do not require org.eclipse.tm.terminal.view.ui (#1209)

Browse source 
Similar to the one before, the feature should no longer require
org.eclipse.tm.terminal.view.ui but import it.
This commit is contained in:
Christoph Läubrich 2025-06-18 17:58:53 +02:00 • committed by GitHub
parent a1cd8a948f
commit b961a0532c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
terminal/features/org.eclipse.tm.terminal.view.feature/feature.xml
View file

@ -35,14 +35,8 @@
<import plugin="org.eclipse.ui" version="3.8.0" match="greaterOrEqual"/>
<import plugin="org.eclipse.core.variables" version="3.2.600" match="greaterOrEqual"/>
<import plugin="org.eclipse.tm.terminal.view.core" version="4.8.0" match="compatible"/>
<import plugin="org.eclipse.tm.terminal.view.ui" version="4.11.0" match="compatible"/>
<import plugin="org.eclipse.tm.terminal.control" version="5.2.0" match="compatible"/>
</requires>
<plugin
id="org.eclipse.tm.terminal.view.ui"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
</feature>