public boolean isForcedUpdateRequested() {
if (panel == null) return false;
return panel.isForcedUpdateRequested();
}
public String getSelectionRevision() {
if (panel == null) return null;
return panel.getSelectedRevision();
}
