edu.rice.cs.drjava.config
Class OptionConstants.PlasticThemes

java.lang.Object
  extended by edu.rice.cs.drjava.config.OptionConstants.PlasticThemes
Enclosing interface:
OptionConstants

public static class OptionConstants.PlasticThemes
extends java.lang.Object


Constructor Summary
OptionConstants.PlasticThemes()
           
 
Method Summary
static java.lang.String getDefaultTheme()
           
static java.util.ArrayList<java.lang.String> getThemes()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OptionConstants.PlasticThemes

public OptionConstants.PlasticThemes()
Method Detail

getThemes

public static java.util.ArrayList<java.lang.String> getThemes()

getDefaultTheme

public static java.lang.String getDefaultTheme()