Uses of Class
org.antlr.xjlib.appkit.app.XJPreferences

Packages that use XJPreferences

Package	Description
org.antlr.works.prefs
org.antlr.xjlib.appkit.app

Uses of XJPreferences in org.antlr.works.prefs

Methods in org.antlr.works.prefs that return XJPreferences

Modifier and Type	Method and Description
static XJPreferences	AWPrefs.getPreferences()

Uses of XJPreferences in org.antlr.xjlib.appkit.app

Fields in org.antlr.xjlib.appkit.app declared as XJPreferences

Modifier and Type	Field and Description
protected XJPreferences	XJApplication.userPrefs

Methods in org.antlr.xjlib.appkit.app that return XJPreferences

Modifier and Type	Method and Description
XJPreferences	XJApplicationInterface.getPreferences()
XJPreferences	XJApplication.getPreferences()