|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NameMapping | |
---|---|
userinterface.gui |
Uses of NameMapping in userinterface.gui |
---|
Method parameters in userinterface.gui with type arguments of type NameMapping | |
---|---|
static void |
NameMappingsDialog.updateManager(ArrayList<NameMapping> mappings)
Removes all mappings from the manager and adds the given list of mappings (needed because no removal is possible otherwise) |
Constructor parameters in userinterface.gui with type arguments of type NameMapping | |
---|---|
NameMappingsDialog(JFrame parent,
ArrayList<NameMapping> mappings)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |