}
}
private void selectRequest() {
if (requestIndex != null) {
RequestLine l = RequestDialog.getValue(requestIndex, list.getOffset());
if (l != null) {
log.info("selected " + l + " moving to " + l.getOffset());
requestHighlight.setValue(l.getIdentifier());
list.moveTo(l.getMinimumKnownOffset());
} else {
log.info("no request selected");
}
}
}