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

java.lang.Object
  edu.rice.cs.drjava.config.OptionConstants.PlasticThemes

Enclosing interface:

OptionConstants

public static class OptionConstants.PlasticThemes
extends Object

Constructor Summary

OptionConstants.PlasticThemes()

Method Summary

static String	getDefaultTheme()
static ArrayList<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 ArrayList<String> getThemes()

getDefaultTheme

public static String getDefaultTheme()