|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ProperNameProvider | |
org.jgraph.pad.resources | |
org.jgraph.utils.gui |
Uses of ProperNameProvider in org.jgraph.pad.resources |
Methods in org.jgraph.pad.resources with parameters of type ProperNameProvider | |
void |
DefaultResourceBundle.addProperNameProvider(ProperNameProvider provider)
Adds the Propernameprovider and asks him for the proper names. |
void |
DefaultResourceBundle.removeProperNameProvider(ProperNameProvider provider)
removes the propernameprovider |
Uses of ProperNameProvider in org.jgraph.utils.gui |
Classes in org.jgraph.utils.gui that implement ProperNameProvider | |
class |
LocaleChangeAdapter
The adapter is a listener for local change events. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |