mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-02 22:05:44 +02:00
07569e2556
Change-Id: I054a3b9b2c39d2d20181745ccfa84f5900ca8221 Signed-off-by: Greg Watson <g.watson@computer.org>
33 lines
1.3 KiB
XML
33 lines
1.3 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<?eclipse version="3.2"?>
|
|
<!--
|
|
# Copyright (c) 2015 IBM Corporation and others.
|
|
# All rights reserved. This program and the accompanying materials
|
|
# are made available under the terms of the Eclipse Public License v1.0
|
|
# which accompanies this distribution, and is available at
|
|
# http://www.eclipse.org/legal/epl-v10.html
|
|
-->
|
|
<plugin>
|
|
<extension-point id="parsers" name="Terminal Parsers" schema="schema/parsers.exsd"/>
|
|
<extension
|
|
point="org.eclipse.tm.terminal.terminalConnectors">
|
|
<connector name="%connectionName"
|
|
id="org.eclipse.tm.terminal.RemoteConnector"
|
|
class="org.eclipse.tm.internal.terminal.remote.RemoteConnector"/>
|
|
</extension>
|
|
<extension
|
|
point="org.eclipse.core.runtime.preferences">
|
|
<initializer
|
|
class="org.eclipse.tm.internal.terminal.remote.preferences.RemoteTerminalPreferenceInitializer">
|
|
</initializer>
|
|
</extension>
|
|
<extension
|
|
point="org.eclipse.ui.preferencePages">
|
|
<page
|
|
category="org.eclipse.tm.terminal.TerminalPreferencePage"
|
|
class="org.eclipse.tm.internal.terminal.remote.preferences.RemoteTerminalPreferencePage"
|
|
id="org.eclipse.tm.terminal.remote.page"
|
|
name="%RemoteTerminalPage.name">
|
|
</page>
|
|
</extension>
|
|
</plugin>
|