317318319320321322323324325326327
Widget w = (Widget) labels.get(label); if (w == null) { return; } if (w.isFocusable()) { w.requestFocus(); } w.scrollIntoView(); } public Widget getWidgetForLabel(String label) {