Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLars Vogel2018-10-16 17:46:13 +0000
committerLars Vogel2018-10-17 09:17:00 +0000
commit54b7aafa25e7fb5108b528cb39c9f920dac23330 (patch)
tree0bdbff5e8f223c1f9b89ec88ceecd442e4f90453 /org.eclipse.ui.workbench.texteditor
parent67368d55e67253dcc8e3122de09e7fe77486fe8c (diff)
downloadeclipse.platform.text-54b7aafa25e7fb5108b528cb39c9f920dac23330.tar.gz
eclipse.platform.text-54b7aafa25e7fb5108b528cb39c9f920dac23330.tar.xz
eclipse.platform.text-54b7aafa25e7fb5108b528cb39c9f920dac23330.zip
Revert "Revert "Bug 536393 - [minimap] Default location of minimap should be in the same area as Outline""I20181017-1800
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor')
-rw-r--r--org.eclipse.ui.workbench.texteditor/plugin.xml14
1 files changed, 14 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml
index 44ed2d60f88..2eb3973ad29 100644
--- a/org.eclipse.ui.workbench.texteditor/plugin.xml
+++ b/org.eclipse.ui.workbench.texteditor/plugin.xml
@@ -1350,5 +1350,19 @@
allowMultiple="false"
restorable="true">
</view>
+ </extension>
+ <extension
+ point="org.eclipse.ui.perspectiveExtensions">
+ <perspectiveExtension
+ targetID="*">
+ <view
+ id="org.eclipse.ui.views.minimap.MinimapView"
+ minimized="false"
+ ratio="0.75f"
+ relationship="stack"
+ relative="org.eclipse.ui.views.ContentOutline"
+ visible="false">
+ </view>
+ </perspectiveExtension>
</extension>
</plugin>

Back to the top