From f003ab675177307cdd8997de9d424f5727e137a8 Mon Sep 17 00:00:00 2001 From: Till Brychcy Date: Fri, 29 Jun 2018 20:37:43 +0200 Subject: Bug 536206 - Improve minimap performance on Mac Change-Id: I7a40e2166ef460dfc201d3e713adf7f9e2eefb88 Signed-off-by: Till Brychcy --- .../src/org/eclipse/ui/internal/views/minimap/MinimapWidget.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapWidget.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapWidget.java index 2fd40a493a4..8df7e1955ff 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapWidget.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/internal/views/minimap/MinimapWidget.java @@ -191,7 +191,7 @@ public class MinimapWidget { FontData fontDatum = fontData[0]; scaledFont = new Font(editorFont.getDevice(), fontDatum.getName(), - Math.round(fontDatum.getHeight() * getScale()), fontDatum.getStyle()); + (int) Math.ceil(fontDatum.getHeight() * getScale()), fontDatum.getStyle()); fScaledFonts.put(editorFont, scaledFont); return scaledFont; } @@ -209,7 +209,11 @@ public class MinimapWidget { @Override public void viewportChanged(int verticalOffset) { - updateMinimap(); + fMinimapTextWidget.getDisplay().asyncExec(() -> { + if (!fMinimapTextWidget.isDisposed()) { + updateMinimap(); + } + }); } void updateMinimap() { -- cgit v1.2.3