122123124125126127128129130131132
if (wo.isSelectable()) { if (doubleClicked) { wo.doubleClicked(); } if (altClicked) { wo.altClicked(); } break; } }