From 9a929629f599e443c1afd46b0b35bcbc344a49ab Mon Sep 17 00:00:00 2001 From: Sergey Malenkov Date: Wed, 6 Dec 2017 16:41:51 +0300 Subject: [PATCH] fix painting error stripes into cached image --- .../src/com/intellij/ui/stripe/ErrorStripePainter.java | 5 +++-- platform/util/src/com/intellij/util/ui/RegionPainter.java | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/ui/stripe/ErrorStripePainter.java b/platform/platform-impl/src/com/intellij/ui/stripe/ErrorStripePainter.java index 2fe1977a497b..637c8f313f63 100644 --- a/platform/platform-impl/src/com/intellij/ui/stripe/ErrorStripePainter.java +++ b/platform/platform-impl/src/com/intellij/ui/stripe/ErrorStripePainter.java @@ -15,6 +15,7 @@ */ package com.intellij.ui.stripe; +import com.intellij.util.ui.ImageUtil; import com.intellij.util.ui.RegionPainter; import java.awt.AlphaComposite; @@ -164,8 +165,8 @@ public class ErrorStripePainter extends RegionPainter.Image { } private void updateImage(BufferedImage image, boolean force) { - int width = image.getWidth(); - int height = image.getHeight(); + int width = ImageUtil.getUserWidth(image); + int height = ImageUtil.getUserHeight(image); Graphics2D g = image.createGraphics(); myImageHeight = 0; diff --git a/platform/util/src/com/intellij/util/ui/RegionPainter.java b/platform/util/src/com/intellij/util/ui/RegionPainter.java index bc3521f32aee..798e77fd5734 100644 --- a/platform/util/src/com/intellij/util/ui/RegionPainter.java +++ b/platform/util/src/com/intellij/util/ui/RegionPainter.java @@ -134,7 +134,7 @@ public interface RegionPainter { @Override public void paint(Graphics2D g, int x, int y, int width, int height, Object object) { if (width > 0 && height > 0) { - if (myImage == null || width != myImage.getWidth() || height != myImage.getHeight()) { + if (myImage == null || width != ImageUtil.getUserWidth(myImage) || height != ImageUtil.getRealHeight(myImage)) { myImage = createImage(width, height); } else if (myImage != null) {