equal
deleted
inserted
replaced
8 </initializer> |
8 </initializer> |
9 </extension> |
9 </extension> |
10 <extension |
10 <extension |
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 class="org.symbian.tools.wrttools.debug.ui.DebugPreferencePage" |
14 class="org.symbian.tools.wrttools.debug.ui.DebugPreferencePage" |
14 id="org.symbian.tools.wrttools.debug" |
15 id="org.symbian.tools.wrttools.debug" |
15 name="WRT Debugger"> |
16 name="WRT Debugger"> |
16 </page> |
17 </page> |
17 </extension> |
18 </extension> |