/* * [TokenPalette.java] * * Summary: Controls palette of colour choices available to the TokenColourScheme used by all Tokens from all parsers. * * 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; import java.awt.Color; /** * Controls palette of colour choices available to the TokenColourScheme used by all Tokens from all parsers. *

* TokenColourScheme should select from these names to allow central consistent changes to all colours. Individual Token * classes should not use these TokenPalette names or AWT names but rather the TokenColourScheme functional names. That * is why we have the TokenColourScheme interface and TokenPalette class. TokenColourScheme is exposed to all via being * implemented in the base Token class, where TokenPalette nobody should see but TokenColourScheme. Separation also * protects against Eclipse reordering which would muddle artistic and functional colour names.
Effectively these * names and the AWT names are hidden from general view possible colours to use in the colour scheme It won't hurt to * have a few extras, but it is very naughty to use colours not mentioned here. If you do that you can't make global * consistent changes to the laf. * * @author Roedy Green, Canadian Mind Products * @version 2.0 2009-04-19 tidy comments, more accurate colour names * @see TokenColourScheme * @since 2009 */ final class TokenPalette { /** * version id in case this class is ever serialised. */ @SuppressWarnings( { "UnusedDeclaration" } ) static final long serialVersionUID = 5L; /** * aged wine */ static final Color AGED_WINE = new Color( 0x660066 ); /** * pure black */ static final Color BLACK = Color.BLACK; /** * blue-tinged green */ static final Color BLUE_TINGED_GREEN = new Color( 0x409954 ); /** * clotted blood */ static final Color CLOTTED_BLOOD = new Color( 0xc11d00 ); /** * muted green, custom */ static final Color CONSERVATIVE_GREEN = new Color( 0x5c9548 ); /** * cornflower blue */ static final Color CORNFLOWER_BLUE = new Color( 0x6465ff ); /* backyardigans gold */ static final Color BACKYARDIGANS_GOLD = new Color( 0xbb8811 ); /** * dark blue */ static final Color DARK_BLUE = new Color( 0x00008b ); /** * dark blue, custom */ static final Color DARK_CRAYON_BLUE = new Color( 0x0000ad ); /** * dark cyan (custom) */ static final Color DARK_CYAN = new Color( 0x006677 ); /** * dark eclipse blue (custom) */ static final Color DARK_ECLIPSE_BLUE = new Color( 0x295d78 ); /** * dark green, (custom) */ static final Color DARK_GREEN = new Color( 0x006400 ); /** * dark ocean */ static final Color DARK_OCEAN = new Color( 0x00608b ); /** * grey */ @SuppressWarnings( { "ConstantNamingConvention" } ) static final Color DARK_SILVER = new Color( 0x888888 ); /** * dark stain brown */ static final Color DARK_STAIN_BROWN = new Color( 0x653540 ); /** * deep pink, X11 */ static final Color DEEP_PINK = new Color( 0xff1493 ); /** * attention orange */ static final Color ATTENTION_ORANGE = new Color( 0xff4500 ); /** * dark brown (custom) */ static final Color DOG_BROWN = new Color( 0x934e28 ); /** * eclipse blue (custom) */ static final Color ECLIPSE_BLUE = new Color( 0x415fbf ); /** * fireplug deep red, custom */ static final Color FIERY_RED = new Color( 0xef150a ); /** * dark red, aka firebrick */ static final Color FIREBRICK = new Color( 0xb22222 ); /** * fireplug deep red, custom */ static final Color FIREPLUG_RED = new Color( 0xdc143c ); /** * greyed brown, custom */ static final Color GREYED_BROWN = new Color( 0x653510 ); /** * happy blue (custom) */ static final Color HAPPY_BLUE = new Color( 0x0008ff ); /** * light plum, (custom) */ static final Color HEX_HIGH_PLUM = new Color( 0xad16ae ); /** * dark plum, (custom) */ static final Color HEX_LOW_PLUM = new Color( 0x7e167f ); /** * indigo */ static final Color INDIGO = new Color( 0x000475 ); /** * industrial blue */ static final Color INDUSTRIAL_BLUE = new Color( 0x0048ab ); /** * pale happy blue with a violet tinge */ static final Color LANGUID_BLUE = new Color( 0x8a83ff ); /** * plum */ static final Color LOGANBERRY = new Color( 0x0048ab ); /** * grey that retreats into the background but is still readable */ static final Color MASKER_GREY = new Color( 0x777777 ); /** * bright blue */ static final Color MEDIUM_BLUE = new Color( 0x0000cd ); /** * perky blue (custom) */ static final Color PERKY_BLUE = new Color( 0x0002e8 ); /** * raspberry, custom */ static final Color RASPBERRY = new Color( 0xde3386 ); /** * pure red */ static final Color RED = Color.RED; /** * deep purply magenta */ static final Color RHODODENDRON = new Color( 0xd000ce ); /** * orangy red, custom */ static final Color SCOTTISH_RED = new Color( 0xff2000 ); /** * like Kiwi brown shoe polish, a reddy brown */ static final Color SHELDON_BROWN = new Color( 0x8d2e2e ); /** * tarnished gold */ static final Color TARNISHED_GOLD = new Color( 0x8b7a11 ); /** * bright red, aka tomato */ static final Color TOMATO = new Color( 0xff6347 ); /** * medium cyan, TopStyle uses it for values. */ static final Color TOPSTYLE_NAUTICAL = new Color( 0x24a28d ); /** * light twinkly green, custom */ static final Color TWINKLY_GREEN = new Color( 0x009200 ); /** * unobtrusive grey */ static final Color UNOBTRUSIVE_GREY = new Color( 0x808080 ); /** * purply red, custom */ static final Color WAGON_RED = new Color( 0xc81800 ); /** * dark purple */ static final Color WELCHES = new Color( 0x800080 ); /** * winter grape */ static final Color WINTER_GRAPE = new Color( 0xd1272 ); }