/*
 * 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 JBFont extends Font {
  private JBFont(Font font) {
    super(font);
  }

  public static JBFont create(Font font) {
    return create(font, true);
  }

  public static JBFont create(Font font, boolean tryToScale) {
    if (font instanceof JBFont) {
      return ((JBFont)font);
    }
    Font scaled = font;
    if (tryToScale) {
      Object value = Toolkit.getDefaultToolkit().getDesktopProperty("win.systemFixed.font.height");
      float scale = value instanceof Integer ? ((Integer)value).floatValue() / 12f : 1f;
      scaled = font.deriveFont(font.getSize() / scale * JBUI.scale(1f));
    }

    if (font instanceof UIResource) {
      return new JBFontUIResource(scaled);
    }

    return new JBFont(scaled);

  }



  @Override
  public JBFont deriveFont(int style, float size) {
    return create(super.deriveFont(style, size), false);
  }

  @Override
  public JBFont deriveFont(float size) {
    return create(super.deriveFont(size), false);
  }

  public JBFont biggerOn(float size) {
    return deriveFont(getSize() + JBUI.scale(size));
  }

  public JBFont lessOn(float size) {
    return deriveFont(getSize() - JBUI.scale(size));
  }

  private static class JBFontUIResource extends JBFont implements UIResource {
    private JBFontUIResource(Font font) {
      super(font);
    }
  }
}

@@ -1068,197 +1068,8 @@
 ) %7B%0A
-      Object value = Toolkit.getDefaultToolkit().getDesktopProperty(%22win.systemFixed.font.height%22);%0A      float scale = value instanceof Integer ? ((Integer)value).floatValue() / 12f : 1f;%0A
     
@@ -1113,16 +1113,8 @@
 ze()
- / scale
  * J
@@ -1255,22 +1255,241 @@
 caled);%0A
-%0A
   %7D%0A%0A
+  public JBFont asBold() %7B%0A    return deriveFont(BOLD, getSize());%0A  %7D%0A%0A  public JBFont asItalic() %7B%0A    return deriveFont(ITALIC, getSize());%0A  %7D%0A%0A  public JBFont asPlain() %7B%0A    return deriveFont(PLAIN, getSize());%0A  %7D
 %0A%0A  @Ove

disable smart font scaling until we get correct scaling from OS + utility methods for changing style