/*
 * 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 javax.swing.plaf.UIResource;
import java.awt.*;

/**
 * @author Konstantin Bulenkov
 */
public class JBDimension extends Dimension {
  public JBDimension(int width, int height) {
    super(scale(width), scale(height));
  }

  private static int scale(int size) {
    return size == -1 ? -1 : JBUI.scale(size);
  }

  public static JBDimension create(Dimension from) {
    if (from instanceof JBDimension) {
      return ((JBDimension)from);
    }
    return new JBDimension(from.width, from.height);
  }

  public JBDimensionUIResource asUIResource() {
    return new JBDimensionUIResource(this);
  }

  public static class JBDimensionUIResource extends JBDimension implements UIResource {
    public JBDimensionUIResource(JBDimension size) {
      super(0, 0);
      width = size.width;
      height = size.height;
    }
  }
}

@@ -1457,11 +1457,351 @@
    %7D%0A  %7D
+%0A%0A  public JBDimension withWidth(int width) %7B%0A    JBDimension size = new JBDimension(0, 0);%0A    size.width = scale(width);%0A    size.height = height;%0A    return size;%0A  %7D%0A%0A  public JBDimension withHeight(int height) %7B%0A    JBDimension size = new JBDimension(0, 0);%0A    size.width = width;%0A    size.height = scale(height);%0A    return size;%0A  %7D
 %0A%7D%0A

add builder methods withWidth() and withHeight()