Stephan Herrmann | 0166441 | 2010-04-01 20:28:43 +0000 | [diff] [blame] | 1 | <?xml version="1.0" encoding="UTF-8"?> |
| 2 | <?eclipse version="3.0"?> |
| 3 | <plugin> |
Stephan Herrmann | 1ed4120 | 2010-06-27 22:18:24 +0000 | [diff] [blame] | 4 | <extension-point id="updateRulerActionExtenders" name="Update Ruler Action Extenders" schema="schema/updateRulerActionExtenders.exsd"/> |
Stephan Herrmann | 0166441 | 2010-04-01 20:28:43 +0000 | [diff] [blame] | 5 | |
| 6 | <!-- Perspectives --> |
| 7 | <extension |
| 8 | point="org.eclipse.ui.perspectives"> |
| 9 | <perspective |
| 10 | name="%perspectiveName" |
| 11 | icon="icons/ot/ot.png" |
| 12 | class="org.eclipse.objectteams.otdt.internal.ui.OTJavaPerspectiveFactory" |
| 13 | id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| 14 | </perspective> |
| 15 | </extension> |
| 16 | |
| 17 | <!-- View category --> |
| 18 | <extension |
| 19 | point="org.eclipse.ui.views"> |
| 20 | <category |
| 21 | id="org.eclipse.objectteams.otdt.ui" |
| 22 | name="Object Teams"> |
| 23 | </category> |
| 24 | </extension> |
| 25 | |
| 26 | <extension |
| 27 | point="org.eclipse.ui.perspectiveExtensions"> |
| 28 | <perspectiveExtension |
| 29 | targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| 30 | |
| 31 | <!-- "Open Perspective" shows the Debug, Resource and OT-perspective --> |
| 32 | <perspectiveShortcut |
| 33 | id="org.eclipse.debug.ui.DebugPerspective"> |
| 34 | </perspectiveShortcut> |
| 35 | <perspectiveShortcut |
| 36 | id="org.eclipse.ui.resourcePerspective"> |
| 37 | </perspectiveShortcut> |
| 38 | <perspectiveShortcut |
| 39 | id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| 40 | </perspectiveShortcut> |
| 41 | <view |
| 42 | id="org.eclipse.pde.runtime.LogView" |
| 43 | minimized="false" |
| 44 | relationship="stack" |
| 45 | relative="org.eclipse.ui.views.ProblemView"> |
| 46 | </view> |
| 47 | <newWizardShortcut |
| 48 | id="org.eclipse.objectteams.otdt.ui.wizards.NewTeamCreationWizard"> |
| 49 | </newWizardShortcut> |
| 50 | <newWizardShortcut |
| 51 | id="org.eclipse.objectteams.otdt.ui.wizards.NewRoleCreationWizard"> |
| 52 | </newWizardShortcut> |
| 53 | <newWizardShortcut |
| 54 | id="org.eclipse.objectteams.otdt.ui.wizards.OTNewProjectWizard"> |
| 55 | </newWizardShortcut> |
| 56 | <newWizardShortcut |
| 57 | id="org.eclispe.objectteams.otdt.pde.ui.wizards.OTNewPluginProjectWizard"> |
| 58 | </newWizardShortcut> |
| 59 | <actionSet |
| 60 | id="org.eclipse.jdt.ui.text.java.actionSet.presentation"> |
| 61 | </actionSet> |
| 62 | </perspectiveExtension> |
| 63 | |
| 64 | <!-- Add our own perspective to the Resource, Java and Debug perspectives --> |
| 65 | <perspectiveExtension |
| 66 | targetID="org.eclipse.ui.resourcePerspective"> |
| 67 | <perspectiveShortcut |
| 68 | id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| 69 | </perspectiveShortcut> |
| 70 | </perspectiveExtension> |
| 71 | |
| 72 | <perspectiveExtension |
| 73 | targetID="org.eclipse.jdt.ui.JavaPerspective"> |
| 74 | <perspectiveShortcut |
| 75 | id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| 76 | </perspectiveShortcut> |
| 77 | </perspectiveExtension> |
| 78 | |
| 79 | <perspectiveExtension |
| 80 | targetID="org.eclipse.debug.ui.DebugPerspective"> |
| 81 | <perspectiveShortcut |
| 82 | id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| 83 | </perspectiveShortcut> |
| 84 | </perspectiveExtension> |
| 85 | |
| 86 | </extension> |
| 87 | |
| 88 | <!-- Object Teams Wizards --> |
| 89 | <extension |
| 90 | point="org.eclipse.ui.newWizards"> |
| 91 | <category |
| 92 | name="%ObjectTeams" |
| 93 | id="org.eclipse.objectteams.otdt.ui.wizards"> |
| 94 | </category> |
| 95 | <wizard |
Stephan Herrmann | 0166441 | 2010-04-01 20:28:43 +0000 | [diff] [blame] | 96 | name="%NewTeam.label" |
| 97 | icon="icons/ot/newteam_obj.gif" |
| 98 | category="org.eclipse.objectteams.otdt.ui.wizards" |
| 99 | id="org.eclipse.objectteams.otdt.ui.wizards.NewTeamCreationWizard"> |
| 100 | <class |
| 101 | class="org.eclipse.objectteams.otdt.internal.ui.wizards.NewTeamCreationWizard"> |
| 102 | <parameter name="javatype" value="true"/> |
| 103 | </class> |
| 104 | <description> |
| 105 | %NewTeam.description |
| 106 | </description> |
| 107 | </wizard> |
| 108 | <wizard |
| 109 | name="%NewRole.label" |
| 110 | icon="icons/ot/newrole_obj.png" |
| 111 | category="org.eclipse.objectteams.otdt.ui.wizards" |
| 112 | id="org.eclipse.objectteams.otdt.ui.wizards.NewRoleCreationWizard"> |
| 113 | <class |
| 114 | class="org.eclipse.objectteams.otdt.internal.ui.wizards.NewRoleCreationWizard"> |
| 115 | <parameter name="javatype" value="true"/> |
| 116 | </class> |
| 117 | <description> |
| 118 | %NewRole.description |
| 119 | </description> |
| 120 | </wizard> |
| 121 | </extension> |
| 122 | |
| 123 | |
| 124 | <!-- Object Teams Markers/Annotation: Callin, Callout, PlayedBy, OverridingRole --> |
| 125 | <extension |
| 126 | point="org.eclipse.core.resources.markers" |
| 127 | id="callinMarker" |
| 128 | name="Callin Marker"> |
| 129 | <super type="org.eclipse.core.resources.textmarker"/> |
| 130 | <persistent value="false"/> |
| 131 | <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.CallinMapping"/> |
| 132 | </extension> |
| 133 | <extension |
| 134 | point="org.eclipse.core.resources.markers" |
| 135 | id="calloutMarker" |
| 136 | name="Callout Marker"> |
| 137 | <super type="org.eclipse.core.resources.textmarker"/> |
| 138 | <persistent value="false"/> |
| 139 | <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.CalloutMapping"/> |
| 140 | </extension> |
| 141 | <extension |
| 142 | point="org.eclipse.core.resources.markers" |
| 143 | id="playedByMarker" |
| 144 | name="PlayedBy Marker"> |
| 145 | <super type="org.eclipse.core.resources.textmarker"/> |
| 146 | <persistent value="false"/> |
| 147 | <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.PlayedByMapping"/> |
| 148 | </extension> |
| 149 | |
| 150 | <extension |
| 151 | point="org.eclipse.ui.editors.annotationTypes"> |
| 152 | <type |
| 153 | name="org.eclipse.objectteams.otdt.ui.annotationtypes.CallinMarker" |
| 154 | super="org.eclipse.jdt.ui.info" |
| 155 | markerType="org.eclipse.objectteams.otdt.ui.callinMarker"> |
| 156 | </type> |
| 157 | <type |
| 158 | name="org.eclipse.objectteams.otdt.ui.annotationtypes.CalloutMarker" |
| 159 | super="org.eclipse.jdt.ui.info" |
| 160 | markerType="org.eclipse.objectteams.otdt.ui.calloutMarker"> |
| 161 | </type> |
| 162 | <type |
| 163 | name="org.eclipse.objectteams.otdt.ui.annotationtypes.PlayedByMarker" |
| 164 | super="org.eclipse.jdt.ui.info" |
| 165 | markerType="org.eclipse.objectteams.otdt.ui.playedByMarker"> |
| 166 | </type> |
| 167 | <type |
| 168 | name="org.eclipse.objectteams.otdt.ui.roleOverrideIndicator"/> |
| 169 | </extension> |
| 170 | |
| 171 | <extension |
| 172 | point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| 173 | <specification |
| 174 | annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.CallinMarker" |
| 175 | colorPreferenceKey="callinmarker.color" |
| 176 | colorPreferenceValue="120,159,79" |
| 177 | contributesToHeader="true" |
| 178 | highlightPreferenceKey="callinmarker.highlight" |
| 179 | icon="icons/ot/callinbinding_obj.gif" |
| 180 | includeOnPreferencePage="true" |
| 181 | isGoToNextNavigationTarget="true" |
| 182 | isGoToNextNavigationTargetKey="callinmarker.gotonext" |
| 183 | isGoToPreviousNavigationTarget="true" |
| 184 | isGoToPreviousNavigationTargetKey="callinmarker.gotoprev" |
| 185 | label="Callin bindings" |
| 186 | overviewRulerPreferenceKey="callinmarker.overview" |
| 187 | overviewRulerPreferenceValue="true" |
| 188 | presentationLayer="9" |
| 189 | showInNextPrevDropdownToolbarAction="true" |
| 190 | showInNextPrevDropdownToolbarActionKey="callinmarker.nextprev.action" |
| 191 | symbolicIcon="info" |
| 192 | textPreferenceKey="callinmarker.text" |
| 193 | textStylePreferenceKey="callinmarker.textstyle" |
| 194 | textStylePreferenceValue="NONE" |
| 195 | verticalRulerPreferenceKey="callinmarker.vertical" |
| 196 | verticalRulerPreferenceValue="true"> |
| 197 | </specification> |
| 198 | |
| 199 | <specification |
| 200 | annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.CalloutMarker" |
| 201 | colorPreferenceKey="calloutmarker.color" |
| 202 | colorPreferenceValue="120,159,79" |
| 203 | contributesToHeader="true" |
| 204 | highlightPreferenceKey="calloutmarker.highlight" |
| 205 | icon="icons/ot/callout_marker.gif" |
| 206 | includeOnPreferencePage="true" |
| 207 | isGoToNextNavigationTarget="true" |
| 208 | isGoToNextNavigationTargetKey="calloutmarker.gotonext" |
| 209 | isGoToPreviousNavigationTarget="true" |
| 210 | isGoToPreviousNavigationTargetKey="calloutmarker.gotoprev" |
| 211 | label="Decapsulating callout bindings" |
| 212 | overviewRulerPreferenceKey="calloutmarker.overview" |
| 213 | overviewRulerPreferenceValue="true" |
| 214 | presentationLayer="9" |
| 215 | showInNextPrevDropdownToolbarAction="true" |
| 216 | showInNextPrevDropdownToolbarActionKey="calloutmarker.nextprev.action" |
| 217 | symbolicIcon="info" |
| 218 | textPreferenceKey="calloutmarker.text" |
| 219 | textStylePreferenceKey="calloutmarker.textstyle" |
| 220 | textStylePreferenceValue="NONE" |
| 221 | verticalRulerPreferenceKey="calloutmarker.vertical" |
| 222 | verticalRulerPreferenceValue="true"> |
| 223 | </specification> |
| 224 | |
| 225 | <specification |
| 226 | annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.PlayedByMarker" |
| 227 | colorPreferenceKey="playedbymarker.color" |
| 228 | colorPreferenceValue="120,159,79" |
| 229 | contributesToHeader="true" |
| 230 | highlightPreferenceKey="playedbymarker.highlight" |
| 231 | icon="icons/ot/playedBy_obj.gif" |
| 232 | includeOnPreferencePage="true" |
| 233 | isGoToNextNavigationTarget="true" |
| 234 | isGoToNextNavigationTargetKey="playedbymarker.gotonext" |
| 235 | label="Role bindings" |
| 236 | overviewRulerPreferenceKey="playedbymarker.overview" |
| 237 | overviewRulerPreferenceValue="true" |
| 238 | presentationLayer="9" |
| 239 | symbolicIcon="info" |
| 240 | textPreferenceKey="playedbymarker.text" |
| 241 | textStylePreferenceKey="playedbymarker.teststyle" |
| 242 | textStylePreferenceValue="NONE" |
| 243 | verticalRulerPreferenceKey="playedbymarker.vertical" |
| 244 | verticalRulerPreferenceValue="true"> |
| 245 | </specification> |
| 246 | <!-- modelled after org.eclipse.jdt.ui.overrideIndicator (with which it still shares the preferences): --> |
| 247 | <specification |
| 248 | annotationType="org.eclipse.objectteams.otdt.ui.roleOverrideIndicator" |
| 249 | label="Role class override indicator" |
| 250 | icon="icons/jdt/full/obj16/over_co.gif" |
| 251 | textPreferenceKey="overrideIndicator" |
| 252 | textPreferenceValue="false" |
| 253 | highlightPreferenceKey="overrideIndicatorHighlighting" |
| 254 | highlightPreferenceValue="false" |
| 255 | contributesToHeader="false" |
| 256 | overviewRulerPreferenceKey="overrideIndicatorInOverviewRuler" |
| 257 | overviewRulerPreferenceValue="false" |
| 258 | verticalRulerPreferenceKey="overrideIndicatorInVerticalRuler" |
| 259 | verticalRulerPreferenceValue="true" |
| 260 | colorPreferenceKey="overrideIndicatorColor" |
| 261 | colorPreferenceValue="180,207,205" |
| 262 | presentationLayer="3" |
| 263 | showInNextPrevDropdownToolbarActionKey="showoverrideIndicatorInNextPrevDropdownToolbarAction" |
| 264 | showInNextPrevDropdownToolbarAction="false" |
| 265 | isGoToNextNavigationTargetKey="isOverrideIndicatorGoToNextNavigationTarget" |
| 266 | isGoToNextNavigationTarget="false" |
| 267 | isGoToPreviousNavigationTargetKey="isOverrideIndicatorGoToPreviousNavigationTarget" |
| 268 | textStylePreferenceKey="overrideIndicatorTextStyle" |
| 269 | textStylePreferenceValue="SQUIGGLES"> |
| 270 | </specification> |
| 271 | </extension> |
| 272 | |
| 273 | <extension |
| 274 | point="org.eclipse.ui.editorActions"> |
| 275 | <editorContribution |
| 276 | id="org.eclipse.ui.texteditor.ruler.actions" |
| 277 | targetID="org.eclipse.jdt.ui.CompilationUnitEditor"> |
| 278 | <action |
| 279 | actionID="RulerClick" |
| 280 | label="openteam" |
Stephan Herrmann | 3b66425 | 2010-11-28 23:36:13 +0000 | [diff] [blame] | 281 | class="org.eclipse.objectteams.otdt.internal.ui.callinmarkers.UpdateRulerAction" |
Stephan Herrmann | 1ed4120 | 2010-06-27 22:18:24 +0000 | [diff] [blame] | 282 | id="org.eclipse.objectteams.otdt.ui.actions.UpdateRulerAction"> |
Stephan Herrmann | 0166441 | 2010-04-01 20:28:43 +0000 | [diff] [blame] | 283 | </action> |
| 284 | </editorContribution> |
| 285 | <editorContribution |
| 286 | id="org.eclipse.ui.texteditor.ruler.actions" |
| 287 | targetID="org.eclipse.jdt.ui.ClassFileEditor"> |
| 288 | <action |
| 289 | actionID="RulerClick" |
| 290 | label="openteam" |
Stephan Herrmann | 3b66425 | 2010-11-28 23:36:13 +0000 | [diff] [blame] | 291 | class="org.eclipse.objectteams.otdt.internal.ui.callinmarkers.UpdateRulerAction" |
Stephan Herrmann | 1ed4120 | 2010-06-27 22:18:24 +0000 | [diff] [blame] | 292 | id="org.eclipse.objectteams.otdt.ui.actions.UpdateRulerAction"> |
Stephan Herrmann | 0166441 | 2010-04-01 20:28:43 +0000 | [diff] [blame] | 293 | </action> |
| 294 | </editorContribution> |
| 295 | </extension> |
| 296 | |
| 297 | <!-- Object Teams Templates--> |
| 298 | <extension |
| 299 | point="org.eclipse.ui.editors.templates"> |
| 300 | <contextType |
| 301 | name="%templates.java.contextType.name" |
| 302 | class="org.eclipse.jdt.internal.corext.template.java.JavaContextType" |
| 303 | id="java"> |
| 304 | </contextType> |
| 305 | <contextType |
| 306 | name="%templates.javadoc.contextType.name" |
| 307 | class="org.eclipse.jdt.internal.corext.template.java.JavaDocContextType" |
| 308 | id="javadoc"> |
| 309 | </contextType> |
| 310 | <resolver |
| 311 | class="org.eclipse.objectteams.otdt.internal.ui.templates.ParameterMappingTemplateResolver" |
| 312 | contextTypeId="java" |
| 313 | description="Resolver for callin parameter mappings" |
| 314 | name="callin parameter mapping" |
| 315 | type="callin_parameter_name"> |
| 316 | </resolver> |
| 317 | <resolver |
| 318 | class="org.eclipse.objectteams.otdt.internal.ui.templates.ParameterMappingTemplateResolver" |
| 319 | contextTypeId="java" |
| 320 | description="Resolver for callout parameter mappings" |
| 321 | name="callout parameter mapping" |
| 322 | type="callout_parameter_name"> |
| 323 | </resolver> |
| 324 | <include |
| 325 | file="templates/OT-templates.xml" |
| 326 | translations="templates/OT-templates.properties"> |
| 327 | </include> |
| 328 | </extension> |
| 329 | |
| 330 | |
| 331 | |
| 332 | <!-- Configurable options for the OT/J compiler --> |
| 333 | <extension |
| 334 | point="org.eclipse.ui.preferencePages"> |
| 335 | <page |
| 336 | id="org.eclipse.objectteams.otdt.ui.preferences.CompilerPreferencePage" |
| 337 | name="%OTCompilerPreferencePageName" |
| 338 | category="org.eclipse.jdt.ui.preferences.JavaBasePreferencePage" |
| 339 | class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTCompilerPreferencePage"> |
| 340 | <keywordReference id="org.eclipse.objectteams.otdt.ui.compliance"/> |
| 341 | </page> |
| 342 | |
| 343 | <!-- General Object Teams configuration options --> |
| 344 | <page |
| 345 | id="org.eclipse.objectteams.otdt.ui.preferences.GeneralPreferencePage" |
| 346 | name="%OTGeneralPreferencePageName" |
| 347 | class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTGeneralPreferencePage"> |
| 348 | </page> |
| 349 | |
| 350 | </extension> |
| 351 | <extension |
| 352 | point="org.eclipse.ui.propertyPages"> |
| 353 | <page |
| 354 | class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTCompilerPreferencePage" |
| 355 | icon="icons/ot/ot_bare_10.png" |
| 356 | id="org.eclipse.objectteams.otdt.ui.propertyPages.CompilerPreferencePage" |
| 357 | name="%OTCompilerPropertyPageName"> |
| 358 | <filter name="nature" |
| 359 | value="org.eclipse.objectteams.otdt.OTJavaNature"> |
| 360 | </filter> |
| 361 | <keywordReference id="org.eclipse.objectteams.otdt.ui.compliance"/> |
| 362 | <enabledWhen> |
| 363 | <or> |
| 364 | <instanceof |
| 365 | value="org.eclipse.core.resources.IProject"> |
| 366 | </instanceof> |
| 367 | <instanceof |
| 368 | value="org.eclipse.jdt.core.IJavaProject"> |
| 369 | </instanceof> |
| 370 | </or> |
| 371 | </enabledWhen> |
| 372 | </page> |
| 373 | </extension> |
| 374 | <extension |
| 375 | point="org.eclipse.ui.keywords"> |
| 376 | <keyword |
| 377 | id="org.eclipse.objectteams.otdt.ui.compliance" |
| 378 | label="%preferenceKeywords.compiler.options"/> |
| 379 | </extension> |
| 380 | <!-- Binding Editor --> |
| 381 | <extension |
| 382 | point="org.eclipse.ui.menus"> |
| 383 | <menuContribution |
| 384 | locationURI="popup:org.eclipse.ui.popup.any?before=group.open"> |
| 385 | <command |
| 386 | commandId="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor" |
| 387 | icon="icons/ot/calloutbinding_obj.gif" |
| 388 | style="push"> |
| 389 | <visibleWhen |
| 390 | checkEnabled="true"> |
| 391 | </visibleWhen> |
| 392 | </command> |
| 393 | </menuContribution> |
| 394 | </extension> |
| 395 | <extension |
| 396 | point="org.eclipse.ui.commands"> |
| 397 | <command |
| 398 | id="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor" |
| 399 | name="Open Binding Editor"> |
| 400 | </command> |
| 401 | </extension> |
| 402 | <extension |
| 403 | point="org.eclipse.ui.handlers"> |
| 404 | <handler |
Stephan Herrmann | 3b66425 | 2010-11-28 23:36:13 +0000 | [diff] [blame] | 405 | class="org.eclipse.objectteams.otdt.internal.ui.handlers.OpenBindingEditorHandler" |
Stephan Herrmann | 0166441 | 2010-04-01 20:28:43 +0000 | [diff] [blame] | 406 | commandId="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor"> |
| 407 | </handler> |
| 408 | </extension> |
| 409 | <!-- Compare callin method with base method: --> |
| 410 | <extension |
| 411 | point="org.eclipse.ui.menus"> |
| 412 | <!-- Forward declaration of a menu declared the old way: --> |
| 413 | <menuContribution |
| 414 | locationURI="popup:org.eclipse.ui.popup.any"> |
| 415 | <menu |
| 416 | id="compareWithMenu" |
| 417 | label="%CompareWithMenu.label"> |
| 418 | <separator |
| 419 | name="compareWithGroup"> |
| 420 | </separator> |
| 421 | </menu> |
| 422 | </menuContribution> |
| 423 | <!-- Hook this contribution into the above submenu: --> |
| 424 | <menuContribution |
| 425 | locationURI="popup:compareWithMenu?after=compareWithGroup"> |
| 426 | <command |
| 427 | commandId="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod" |
| 428 | icon="icons/ot/callinbindingreplace_obj.gif" |
| 429 | style="push"> |
| 430 | <visibleWhen |
| 431 | checkEnabled="true"> |
| 432 | </visibleWhen> |
| 433 | </command> |
| 434 | </menuContribution> |
| 435 | </extension> |
| 436 | <extension |
| 437 | point="org.eclipse.ui.commands"> |
| 438 | <command |
| 439 | description="%CompareWithBaseMethodAction.description" |
| 440 | id="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod" |
| 441 | name="%CompareWithBaseMethodAction.label"> |
| 442 | </command> |
| 443 | </extension> |
| 444 | <extension |
| 445 | point="org.eclipse.ui.handlers"> |
| 446 | <handler |
Stephan Herrmann | 3b66425 | 2010-11-28 23:36:13 +0000 | [diff] [blame] | 447 | class="org.eclipse.objectteams.otdt.internal.ui.handlers.CompareWithBaseMethodHandler" |
Stephan Herrmann | 0166441 | 2010-04-01 20:28:43 +0000 | [diff] [blame] | 448 | commandId="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod"> |
| 449 | </handler> |
| 450 | </extension> |
| 451 | <!-- |
| 452 | <extension |
| 453 | point="org.eclipse.jdt.ui.foldingStructureProviders"> |
| 454 | <provider |
| 455 | class="org.eclipse.objectteams.otdt.internal.ui.text.folding.OTJavaFoldingStructureProvider" |
| 456 | id="org.eclipse.objectteams.otdt.ui.foldingProvider"/> |
| 457 | </extension> |
| 458 | --> |
| 459 | </plugin> |
| 460 | |