/* * [TokenFonts.java] * * Summary: Default font information. * * Copyright: (c) 2009-2017 Roedy Green, Canadian Mind Products, http://mindprod.com * * Licence: This software may be copied and used freely for any purpose but military. * http://mindprod.com/contact/nonmil.html * * Requires: JDK 1.8+ * * Created with: JetBrains IntelliJ IDEA IDE http://www.jetbrains.com/idea/ * * Version History: * 2.0 2009-04-19 tidy comments, more accurate colour names */ package com.mindprod.jtokens; /** * Default font information. *

* We make this an interface rather that a class so that all descendants of Token have access. * * @author Roedy Green, Canadian Mind Products * @version 2.0 2009-04-19 tidy comments, more accurate colour names * @since 2009 */ public final class TokenFonts { // /** * The biggest biggest fence size */ public static final int BIGGEST_FENCE_SIZE_IN_POINTS = 24; /** * The pointsize for things you want to emphasize */ public static final int EMPHASIS_FONT_SIZE_IN_POINTS = 17; /** * The usual pointsize for important keywords. */ public static final int IMPORTANT_KEYWORD_FONT_SIZE_IN_POINTS = 17; /** * The usual pointsize for keywords */ public static final int KEYWORD_FONT_SIZE_IN_POINTS = 16; /** * The small pointsize for type, used for linenumbers */ public static final int LINE_NUMBER_FONT_SIZE_IN_POINTS = 12; /** * The usual pointsize for normal type */ public static final int NORMAL_FONT_SIZE_IN_POINTS = 16; /** * recommended font possibilities to use for keywords */ public static final String[] KEYWORD_FONTS = { "Lucida Console", "Bitstream Vera Sans Mono", "Lucida Sans", "Lucida Sans Unicode", "Courier New", "Segoe UI", "Arial", "SansSerif", "Monospaced" // monospace in CSS // Dialog as last resort // if you add a font here, also add it to adjustFontSize in Token }; /** * recommended font possibilities to use for fixed pitch */ public static final String[] MONO_FONTS = new String[] { "Consolas", "Bitstream Vera Sans Mono", "Lucida Console", "Constantia", "Courier New", "Monospaced" }; // if you add a font here, also add it to adjustFontSize in Token }