diff options
author | angelozerr | 2018-08-20 16:18:51 +0000 |
---|---|---|
committer | Matthias Becker | 2018-08-24 10:30:53 +0000 |
commit | 449c8be18610b214135255ba542a23fdb8a99bae (patch) | |
tree | 157cfaac34930fbfdb0bdb7df156e5a7b4355b23 | |
parent | 35510e6f4d734fc4d272f8f4de796be5150f0852 (diff) | |
download | eclipse.platform.text-449c8be18610b214135255ba542a23fdb8a99bae.tar.gz eclipse.platform.text-449c8be18610b214135255ba542a23fdb8a99bae.tar.xz eclipse.platform.text-449c8be18610b214135255ba542a23fdb8a99bae.zip |
Bug 536207 - Minimap wrong height calculation
Change-Id: I60b828e797d3b0f9172c21b6f4cd234798d2320b
Signed-off-by: angelozerr <angelo.zerr@gmail.com>
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapView.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapView.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapView.java index dee7f05242e..c0cf68156d3 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapView.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapView.java @@ -82,4 +82,9 @@ public class MinimapView extends PageBookView { protected boolean isImportant(IWorkbenchPart part) { return part instanceof ITextEditor || part instanceof MultiPageEditorPart; } + + @Override + public void partBroughtToTop(IWorkbenchPart part) { + partActivated(part); + } } |