/*
 * Copyright 2000-2015 JetBrains s.r.o.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package com.intellij.util.ui;

import com.intellij.util.JBHiDPIScaledImage;
import org.jetbrains.annotations.NotNull;

import java.awt.*;
import java.awt.image.*;

/**
 * @author Konstantin Bulenkov
 */
public class ImageUtil {
  public static BufferedImage toBufferedImage(@NotNull Image image) {
    if (image instanceof JBHiDPIScaledImage) {
      Image img = ((JBHiDPIScaledImage)image).getDelegate();
      if (img != null) {
        image = img;
      }
    }
    if (image instanceof BufferedImage) {
      return (BufferedImage)image;
    }

    @SuppressWarnings("UndesirableClassUsage")
    BufferedImage bufferedImage = new BufferedImage(image.getWidth(null), image.getHeight(null), BufferedImage.TYPE_INT_ARGB);
    Graphics2D g = bufferedImage.createGraphics();
    g.drawImage(image, 0, 0, null);
    g.dispose();
    return bufferedImage;
  }

  public static int getRealWidth(@NotNull Image image) {
    if (image instanceof JBHiDPIScaledImage) {
      Image img = ((JBHiDPIScaledImage)image).getDelegate();
      if (img != null) image = img;
    }
    return image.getWidth(null);
  }

  public static int getRealHeight(@NotNull Image image) {
    if (image instanceof JBHiDPIScaledImage) {
      Image img = ((JBHiDPIScaledImage)image).getDelegate();
      if (img != null) image = img;
    }
    return image.getHeight(null);
  }

  public static Image filter(Image image, ImageFilter filter) {
    if (image == null || filter == null) return image;
    return Toolkit.getDefaultToolkit().createImage(
      new FilteredImageSource(toBufferedImage(image).getSource(), filter));
  }
}

@@ -1937,32 +1937,778 @@
 ght(null);%0A  %7D%0A%0A
+  public static int getUserWidth(@NotNull Image image) %7B%0A    if (image instanceof JBHiDPIScaledImage) %7B%0A      Image img = ((JBHiDPIScaledImage)image).getDelegate();%0A      if (img != null) %7B%0A        return ((JBHiDPIScaledImage)image).getWidth();%0A      %7D else %7B%0A        return ((JBHiDPIScaledImage)image).getWidth() / 2;%0A      %7D%0A    %7D%0A    return image.getWidth(null);%0A  %7D%0A%0A  public static int getUserHeight(@NotNull Image image) %7B%0A    if (image instanceof JBHiDPIScaledImage) %7B%0A      Image img = ((JBHiDPIScaledImage)image).getDelegate();%0A      if (img != null) %7B%0A        return ((JBHiDPIScaledImage)image).getHeight();%0A      %7D else %7B%0A        return ((JBHiDPIScaledImage)image).getHeight() / 2;%0A      %7D%0A    %7D%0A    return image.getHeight(null);%0A  %7D%0A%0A
   public static 

Add util methods to retrieve size of an Image/JBHiDPIScaledImage in user space