diff options
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml index d51f0cc2d15..44ed2d60f88 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.xml +++ b/org.eclipse.ui.workbench.texteditor/plugin.xml @@ -1338,4 +1338,17 @@ </command> </menuContribution> </extension> + + <extension + point="org.eclipse.ui.views"> + <view + category="org.eclipse.ui" + class="org.eclipse.ui.internal.views.minimap.MinimapView" + icon="icons/full/eview16/minimap.png" + id="org.eclipse.ui.views.minimap.MinimapView" + name="%MinimapView.name" + allowMultiple="false" + restorable="true"> + </view> + </extension> </plugin> |