/* * The MIT License (MIT) * * Copyright (c) 2007-2015 Broad Institute * * Permission is hereby granted, free of charge, to any person obtaining a copy * of this software and associated documentation files (the "Software"), to deal * in the Software without restriction, including without limitation the rights * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell * copies of the Software, and to permit persons to whom the Software is * furnished to do so, subject to the following conditions: * * The above copyright notice and this permission notice shall be included in * all copies or substantial portions of the Software. * * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN * THE SOFTWARE. */ /* * To change this template, choose Tools | Templates * and open the template in the editor. */ package org.broad.igv.ui; import org.broad.igv.prefs.IGVPreferences; import org.broad.igv.prefs.PreferencesManager; import javax.swing.*; import java.awt.*; import java.util.Hashtable; import java.util.Set; import static org.broad.igv.prefs.Constants.*; /** * @author eflakes */ public class FontManager { private static Font defaultFont; static Hashtable<String, Font> fontCache = new Hashtable(); private static double scaleFactor = 1.0; public static Font getDefaultFont() { if (defaultFont == null) { updateDefaultFont(); } return defaultFont; } static public Font getFont(int sz) { final IGVPreferences prefManager = PreferencesManager.getPreferences(); int size = (int) (scaleFactor * sz); String fontFamily = prefManager.get(DEFAULT_FONT_FAMILY); int attribute = prefManager.getAsInt(DEFAULT_FONT_ATTRIBUTE); String key = fontFamily + "_" + attribute + "_" + size; Font font = fontCache.get(key); if (font == null) { font = new Font(fontFamily, attribute, size); fontCache.put(key, font); } return font; } static public Font getFont(int attribute, int sz) { int size = (int) (scaleFactor * sz); final IGVPreferences prefManager = PreferencesManager.getPreferences(); String fontFamily = prefManager.get(DEFAULT_FONT_FAMILY); String key = fontFamily + "_" + attribute + "_" + size; Font font = fontCache.get(key); if (font == null) { font = new Font(fontFamily, attribute, size); fontCache.put(key, font); } return font; } public static void updateDefaultFont() { final IGVPreferences prefManager = PreferencesManager.getPreferences(); String fontFamily = prefManager.get(DEFAULT_FONT_FAMILY); int fontSize = prefManager.getAsInt(DEFAULT_FONT_SIZE); int attribute = prefManager.getAsInt(DEFAULT_FONT_ATTRIBUTE); defaultFont = new Font(fontFamily, attribute, fontSize); } public static void resetDefaultFont() { final IGVPreferences prefMgr = PreferencesManager.getPreferences(); prefMgr.remove(DEFAULT_FONT_SIZE); prefMgr.remove(DEFAULT_FONT_FAMILY); prefMgr.remove(DEFAULT_FONT_ATTRIBUTE); updateDefaultFont(); } public static void updateSystemFontSize(int size) { Set<Object> keySet = UIManager.getLookAndFeelDefaults().keySet(); Object[] keys = keySet.toArray(new Object[keySet.size()]); for (Object key : keys) { if (key != null && key.toString().toLowerCase().contains("font")) { Font font = UIManager.getDefaults().getFont(key); if (font != null) { font = font.deriveFont((float) size); UIManager.put(key, font); } } } } public static void scaleFontSize(double sf) { scaleFactor = sf; Set<Object> keySet = UIManager.getLookAndFeelDefaults().keySet(); Object[] keys = keySet.toArray(new Object[keySet.size()]); for (Object key : keys) { if (key != null && key.toString().toLowerCase().contains("font")) { Font font = UIManager.getDefaults().getFont(key); if (font != null) { int newSize = (int) (scaleFactor * font.getSize()); font = font.deriveFont((float) newSize); UIManager.put(key, font); } } } } }