MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

fix painting error stripes into cached image

Browse Source
This commit is contained in:
Sergey Malenkov
2017-12-06 16:43:26 +03:00
parent 7b9e53cb39
commit 9a929629f5
2 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ui/stripe/ErrorStripePainter.java
+3 -2
View File
@@ -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;
platform/util/src/com/intellij/util/ui/RegionPainter.java
+1 -1
View File
@@ -134,7 +134,7 @@ public interface RegionPainter<T> {
@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) {