1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-03 07:05:24 +02:00

[186134] [api] Mark Terminal API as provisional

This commit is contained in:
Michael Scharf 2007-05-15 23:13:57 +00:00
parent ca1d643e1a
commit 08da7ba1b3

View file

@ -37,7 +37,7 @@ public class TerminalConnectorExtension {
* @return a new list of ITerminalConnectors.
*/
public static ITerminalConnector[] getTerminalConnectors() {
IConfigurationElement[] config=RegistryFactory.getRegistry().getConfigurationElementsFor("org.eclipse.tm.internal.terminal.provisional.api.terminalConnector"); //$NON-NLS-1$
IConfigurationElement[] config=RegistryFactory.getRegistry().getConfigurationElementsFor("org.eclipse.tm.terminal.terminalConnector"); //$NON-NLS-1$
List result=new ArrayList();
for (int i = 0; i < config.length; i++) {
try {