Uses of Class
jade.gui.GuiProperties

Packages that use GuiProperties

jade.gui

This package contains general purpose components that can be used to build Swing-based Graphical User Interfaces for JADE agents.

Uses of GuiProperties in jade.gui

Fields in jade.gui declared as GuiProperties

protected static GuiProperties

GuiProperties.foo