| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.2"?> |
| <plugin> |
| <extension-point id="ConnectionRouterProvider" name="ConnectionRouterProvider" schema="schema/ConnectionRouterProvider.exsd"/> |
| <extension-point id="ChildrenProvider" name="ChildrenProvider" schema="schema/ChildrenProvider.exsd"/> |
| <extension point="org.eclipse.ui.themes"> |
| <themeElementCategory |
| id="org.eclipse.fordiac.ide.themeCategory" |
| label="4diac IDE"> |
| <description> |
| The theme settings for 4diac IDE. |
| </description> |
| </themeElementCategory> |
| <fontDefinition |
| label="Diagram Font" |
| defaultsTo="org.eclipse.jface.textfont" |
| categoryId="org.eclipse.fordiac.ide.themeCategory" |
| id="org.eclipse.fordiac.ide.preferences.diagramFontDefinition"> |
| <description> |
| Font to be used in all 4diac IDE graphical editors and diagrams |
| </description> |
| </fontDefinition> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="org.eclipse.fordiac.ide.preferences.FordiacPreferencePage" |
| class="org.eclipse.fordiac.ide.gef.preferences.DiagramPreferences" |
| id="org.eclipse.fordiac.ide.gef.preferences.DiagramPreferences" |
| name="Diagram Preferences"> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer |
| class="org.eclipse.fordiac.ide.gef.preferences.PreferenceInitializer"> |
| </initializer> |
| </extension> |
| <extension |
| point="org.eclipse.fordiac.ide.gef.ConnectionRouterProvider"> |
| <ConnectionRouterFactory |
| class="org.eclipse.fordiac.ide.gef.router.ShortestPathConnectionRouterFactory" |
| name="ShortesPath Router"> |
| </ConnectionRouterFactory> |
| <ConnectionRouterFactory |
| class="org.eclipse.fordiac.ide.gef.router.ManhattenConnectionRouterFactory" |
| name="ManhattenConnectionRouter"> |
| </ConnectionRouterFactory> |
| <ConnectionRouterFactory |
| class="org.eclipse.fordiac.ide.gef.router.AdjustableConnectionRouterNoJumplinksFactory" |
| name="Adjustable Router (no Jumplinks)"> |
| </ConnectionRouterFactory> |
| </extension> |
| </plugin> |