| <?xml version="1.0" encoding="UTF-8"?>
|
| <?eclipse version="3.2"?>
|
| <plugin>
|
| <extension-point id="org.eclipse.emf.emfstore.client.ui.errorreporting" name="customLog" schema="schema/org.eclipse.emf.emfstore.ui.errorreporting.exsd"/>
|
| <extension
|
| point="org.eclipse.ui.commands">
|
| <command
|
| id="org.eclipse.emf.emfstore.ui.createErrorLog"
|
| name="Create Error Log">
|
| </command>
|
| </extension>
|
| <extension
|
| id="org.eclipse.emf.emfstore.ui.createErrorLog"
|
| point="org.eclipse.ui.handlers">
|
| <handler
|
| class="org.eclipse.emf.emfstore.client.ui.errorreporting.MailBugHandler"
|
| commandId="org.eclipse.emf.emfstore.ui.createErrorLog">
|
| </handler>
|
| </extension>
|
| <extension
|
| point="org.eclipse.emf.emfstore.client.exceptionObserver">
|
| <observer
|
| exceptionObserver="org.eclipse.emf.emfstore.client.ui.errorreporting.EmfStoreExceptionObserver">
|
| </observer>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.statusHandlers">
|
| <statusHandler
|
| class="org.eclipse.emf.emfstore.client.ui.errorreporting.EmfStoreStatusHandler"
|
| id="org.eclipse.emf.emfstore.ui.statusHandler">
|
| </statusHandler>
|
| </extension>
|
| <extension
|
| point="org.eclipse.ui.preferencePages">
|
| <page
|
| class="org.eclipse.emf.emfstore.client.ui.errorreporting.ErrorReportingPreferencePage"
|
| id="org.eclipse.emf.emfstore.client.ui.errorreporting.preferencePage"
|
| name="Error Reporting">
|
| </page>
|
| </extension> |
| </plugin>
|