description = description + ")";
return("Menu pushing: " + description);
}
static DescriptablePathChooser converChoosers(final ComponentChooser[] choosers) {
return(new DescriptablePathChooser() {
public boolean checkPathComponent(int depth, Object component) {
return(choosers[depth].checkComponent((Component)component));
}
public int getDepth() {
return(choosers.length);