battleSaveRecordAsMenuItem.addActionListener(eventHandler);
ISettingsManager props = properties;
props.addPropertyListener(
new ISettingsListener() {
public void settingChanged(String property) {
if (property.equals(ISettingsManager.OPTIONS_COMMON_ENABLE_REPLAY_RECORDING)) {
final boolean canReplayRecord = recordManager.hasRecord();
final boolean enableSaveRecord = properties.getOptionsCommonEnableReplayRecording()
& canReplayRecord;