/** 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);
 }
Beispiel #6
0
 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);
 }
Beispiel #10
0
 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);
 }
Beispiel #12
0
 public void disableLoadSource() {
   loadButton.setEnabled(false);
   loadSourceMenuItem.setEnabled(false);
 }
Beispiel #13
0
 public void enableFullCompilation() {
   fullTranslationButton.setEnabled(true);
   fullTranslationMenuItem.setEnabled(true);
 }
Beispiel #14
0
 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);
 }
Beispiel #18
0
 public void disableSave() {
   saveButton.setEnabled(false);
   saveDestMenuItem.setEnabled(false);
 }