jade.gui
Class GuiProperties

java.lang.Object
  |
  +--jade.gui.GuiProperties

public class GuiProperties
extends java.lang.Object

This class encapsulates some informations used by the program

Version:
$Date: 2002/12/13 13:04:26 $ $Revision: 2.10 $
Author:
Francisco Regi, Andrea Soracchi - Universita` di Parma

Field Summary
protected static GuiProperties foo
           
static java.lang.String ImagePath
           
protected static javax.swing.UIDefaults MyDefaults
           
 
Constructor Summary
GuiProperties()
           
 
Method Summary
static javax.swing.Icon getIcon(java.lang.String key)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

MyDefaults

protected static javax.swing.UIDefaults MyDefaults

foo

protected static GuiProperties foo

ImagePath

public static final java.lang.String ImagePath
Constructor Detail

GuiProperties

public GuiProperties()
Method Detail

getIcon

public static final javax.swing.Icon getIcon(java.lang.String key)