category.getContribution().incrementSelection();
}
category.getContribution().runCurrentTool();
}
else if( category != null && category.getContainer() != null ){
MapToolEntry first = null;
MapToolEntry victim = null;
for( Object child : category.getContainer().getChildren() ){
if( child instanceof MapToolEntry ){
MapToolEntry entry = (MapToolEntry) child;
if( !category.getId().equals( entry.getCategoryId() )){
continue; // tool is not from our category
}
ToolProxy proxy = entry.getMapToolProxy();
if( !proxy.isEnabled() ){
continue; // skip disabled tools
}