/* * 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) { scaled = font.deriveFont(font.getSize() * JBUI.scale(1f)); } if (font instanceof UIResource) { return new JBFontUIResource(scaled); } return new JBFont(scaled); } public JBFont asBold() { return deriveFont(BOLD, getSize()); } public JBFont asItalic() { return deriveFont(ITALIC, getSize()); } public JBFont asPlain() { return deriveFont(PLAIN, getSize()); } @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); } } }