private void scrollToCurrentHit() {
final MarkupSource source = panel.getSelectedSource();
if (source == null || !source.isSearchable()) {
return;
}
// using invokeLater to wait for ComboBox selection to complete
EventQueue.invokeLater(
new Runnable() {
@Override
public void run() {
panel.scrollToAnchor(source.getAnchorPrefix() + Integer.toString(source.currentItem()));
}
});
}
