1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-17 22:15:23 +02:00
cdt/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml

56 lines
1.9 KiB
XML
Raw Normal View History

2002-08-28 19:09:25 +00:00
<?xml version="1.0" encoding="UTF-8"?>
<plugin
id="org.eclipse.cdt.debug.mi.ui"
name="%pluginName"
version="1.2.1"
2002-08-28 19:09:25 +00:00
provider-name="%providerName"
class="org.eclipse.cdt.debug.mi.internal.ui.MIUIPlugin">
<runtime>
2002-09-26 02:16:53 +00:00
<library name="cdtmiui.jar">
2002-08-28 19:09:25 +00:00
<export name="*"/>
</library>
</runtime>
<requires>
<import plugin="org.eclipse.core.resources"/>
<import plugin="org.eclipse.ui"/>
<import plugin="org.eclipse.cdt.debug.mi.core"/>
<import plugin="org.eclipse.cdt.debug.ui"/>
<import plugin="org.eclipse.cdt.debug.core"/>
<import plugin="org.eclipse.cdt.launch"/>
<import plugin="org.eclipse.cdt.ui"/>
<import plugin="org.eclipse.debug.core"/>
<import plugin="org.eclipse.debug.ui"/>
</requires>
<extension
point="org.eclipse.cdt.debug.ui.CDebuggerPage">
<debugPage
2003-01-24 17:19:33 +00:00
class="org.eclipse.cdt.debug.mi.internal.ui.GDBDebuggerPage"
id="org.eclipse.cdt.debug.mi.GDBDebuggerPage"
2002-08-28 19:09:25 +00:00
debuggerID="org.eclipse.cdt.debug.mi.core.CDebugger">
</debugPage>
2002-11-27 16:26:46 +00:00
<debugPage
2003-01-24 17:19:33 +00:00
class="org.eclipse.cdt.debug.mi.internal.ui.CygwinDebuggerPage"
id="org.eclipse.cdt.debug.mi.CygwinDebuggerPage"
2002-11-27 16:26:46 +00:00
debuggerID="org.eclipse.cdt.debug.mi.core.CygwinCDebugger">
2002-12-16 20:50:32 +00:00
</debugPage>
<debuggerPage
class="org.eclipse.cdt.debug.mi.internal.ui.GDBServerDebuggerPage"
id="org.eclipse.cdt.debug.mi.GDBServerDebuggerPage"
debuggerID="org.eclipse.cdt.debug.mi.core.GDBServerCDebugger">
</debuggerPage>
2002-08-28 19:09:25 +00:00
</extension>
2002-10-04 18:09:05 +00:00
<extension
point="org.eclipse.ui.preferencePages">
<page
name="%MIPreferencePage.name"
category="org.eclipse.cdt.debug.ui.CDebugPreferencePage"
class="org.eclipse.cdt.debug.mi.internal.ui.preferences.MIPreferencePage"
id="org.eclipse.cdt.debug.mi.ui.MIPreferencePage">
</page>
</extension>
2002-08-28 19:09:25 +00:00
</plugin>