equal
deleted
inserted
replaced
11 point="org.eclipse.ui.preferencePages"> |
11 point="org.eclipse.ui.preferencePages"> |
12 <page |
12 <page |
13 category="org.symbian.tools.wrttools.editing.preferences.WrtEditingPreferencePage" |
13 category="org.symbian.tools.wrttools.editing.preferences.WrtEditingPreferencePage" |
14 class="org.symbian.tools.wrttools.debug.ui.DebugPreferencePage" |
14 class="org.symbian.tools.wrttools.debug.ui.DebugPreferencePage" |
15 id="org.symbian.tools.wrttools.debug" |
15 id="org.symbian.tools.wrttools.debug" |
16 name="WRT Debugger"> |
16 name="Debugger"> |
17 </page> |
17 </page> |
18 </extension> |
18 </extension> |
19 <extension |
19 <extension |
20 point="org.eclipse.debug.core.launchConfigurationTypes"> |
20 point="org.eclipse.debug.core.launchConfigurationTypes"> |
21 <launchConfigurationType |
21 <launchConfigurationType |