diff options
author | Andrey Loskutov | 2018-08-23 06:10:56 +0000 |
---|---|---|
committer | Andrey Loskutov | 2018-08-23 06:10:56 +0000 |
commit | 169d7ded688ac6239bdf47e55d40f1ff1ae0ef52 (patch) | |
tree | 5cdac2ae015101c852362c0f8448f697d3893a42 | |
parent | a970af90f0c8aa42321e06784d91a5b307e48dfd (diff) | |
download | eclipse.platform.text-169d7ded688ac6239bdf47e55d40f1ff1ae0ef52.tar.gz eclipse.platform.text-169d7ded688ac6239bdf47e55d40f1ff1ae0ef52.tar.xz eclipse.platform.text-169d7ded688ac6239bdf47e55d40f1ff1ae0ef52.zip |
Revert "Bug 536393 - [minimap] Default location of minimap should be in the same area as Outline"Y20180823-0800S4_9_0_M3I20180823-0450I20180823-0430
This reverts commit 20233bb70140b4eb8ede3eade458b265e36757d6.
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.xml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml index 2eb3973ad29..44ed2d60f88 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.xml +++ b/org.eclipse.ui.workbench.texteditor/plugin.xml @@ -1350,19 +1350,5 @@ 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> |