edu.hawaii.ics.yucheng
Class GraphBox.Theme

java.lang.Object
  extended by edu.hawaii.ics.yucheng.GraphBox.Theme
Enclosing class:
GraphBox

private static class GraphBox.Theme
extends java.lang.Object

A collection of colors, fonts, and strokes.


Field Summary
(package private) static java.awt.Color BackgroundColor1
           
(package private) static java.awt.Color BackgroundColor2
           
(package private) static java.awt.Color BorderColor
           
(package private) static java.awt.Color EdgeColor
           
(package private) static java.awt.Stroke EdgeStroke
           
(package private) static java.awt.Color InfoColor
           
(package private) static java.awt.Font InfoFont
           
(package private) static java.awt.Color NoGraphLoadedColor
           
(package private) static java.awt.Font NoGraphLoadedFont
           
(package private) static java.awt.Color RootColor1
           
(package private) static java.awt.Color RootColor2
           
(package private) static java.awt.Stroke RootStroke1
           
(package private) static java.awt.Stroke RootStroke2
           
(package private) static java.awt.Font ScaleFont
           
(package private) static java.awt.Color ScaleFontColor
           
(package private) static java.awt.Stroke ScaleStroke
           
(package private) static java.awt.Color ScaleStrokeColor
           
(package private) static java.awt.Color SolutionColor
           
(package private) static java.awt.Stroke SolutionStroke
           
(package private) static java.awt.Color TextColor
           
(package private) static java.awt.Color VertexBorderColor
           
(package private) static java.awt.Stroke VertexBorderStroke
           
(package private) static java.awt.Font VertexFont
           
 
Constructor Summary
private GraphBox.Theme()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

BackgroundColor1

static final java.awt.Color BackgroundColor1

BackgroundColor2

static final java.awt.Color BackgroundColor2

BorderColor

static final java.awt.Color BorderColor

EdgeColor

static final java.awt.Color EdgeColor

EdgeStroke

static final java.awt.Stroke EdgeStroke

InfoColor

static final java.awt.Color InfoColor

InfoFont

static final java.awt.Font InfoFont

NoGraphLoadedColor

static final java.awt.Color NoGraphLoadedColor

NoGraphLoadedFont

static final java.awt.Font NoGraphLoadedFont

RootColor1

static final java.awt.Color RootColor1

RootColor2

static final java.awt.Color RootColor2

RootStroke1

static final java.awt.Stroke RootStroke1

RootStroke2

static final java.awt.Stroke RootStroke2

ScaleFont

static final java.awt.Font ScaleFont

ScaleFontColor

static final java.awt.Color ScaleFontColor

ScaleStroke

static final java.awt.Stroke ScaleStroke

ScaleStrokeColor

static final java.awt.Color ScaleStrokeColor

SolutionColor

static final java.awt.Color SolutionColor

SolutionStroke

static final java.awt.Stroke SolutionStroke

TextColor

static final java.awt.Color TextColor

VertexBorderColor

static final java.awt.Color VertexBorderColor

VertexBorderStroke

static final java.awt.Stroke VertexBorderStroke

VertexFont

static final java.awt.Font VertexFont
Constructor Detail

GraphBox.Theme

private GraphBox.Theme()