/** Disables the rewind action. */
public void disableRewind() {
rewindButton.setEnabled(false);
rewindMenuItem.setEnabled(false);
}
/** Disables the eject action. */
public void disableScript() {
scriptButton.setEnabled(false);
scriptMenuItem.setEnabled(false);
}
/** Enables the rewind action. */
public void enableRewind() {
rewindButton.setEnabled(true);
rewindMenuItem.setEnabled(true);
}
/** Disables the stop action. */
public void disableStop() {
stopButton.setEnabled(false);
stopMenuItem.setEnabled(false);
}
/** Enables the eject action. */
public void enableScript() {
scriptButton.setEnabled(true);
scriptMenuItem.setEnabled(true);
}
public void enableSave() {
saveButton.setEnabled(true);
saveDestMenuItem.setEnabled(true);
}
/** Enables the stop action. */
public void enableStop() {
stopButton.setEnabled(true);
stopMenuItem.setEnabled(true);
}
/** Disables the single step action. */
public void disableSingleStep() {
singleStepButton.setEnabled(false);
stepOverButton.setEnabled(false);
singleStepMenuItem.setEnabled(false);
}
/** Enables the fast forward action. */
public void enableFastForward() {
ffwdButton.setEnabled(true);
ffwdMenuItem.setEnabled(true);
}
public void enableLoadSource() {
loadButton.setEnabled(true);
loadSourceMenuItem.setEnabled(true);
}
/** Enables the single step action. */
public void enableSingleStep() {
singleStepButton.setEnabled(true);
stepOverButton.setEnabled(true);
singleStepMenuItem.setEnabled(true);
}
public void disableLoadSource() {
loadButton.setEnabled(false);
loadSourceMenuItem.setEnabled(false);
}
public void enableFullCompilation() {
fullTranslationButton.setEnabled(true);
fullTranslationMenuItem.setEnabled(true);
}
public void disableFullCompilation() {
fullTranslationButton.setEnabled(false);
fullTranslationMenuItem.setEnabled(false);
}
/** Enables the load program action. */
public void enableLoadProgram() {
loadProgramButton.setEnabled(true);
}
/** Disables the fast forward action. */
public void disableFastForward() {
ffwdButton.setEnabled(false);
ffwdMenuItem.setEnabled(false);
}
/** Disables the load program action. */
public void disableLoadProgram() {
loadProgramButton.setEnabled(false);
}
public void disableSave() {
saveButton.setEnabled(false);
saveDestMenuItem.setEnabled(false);
}