/**
  * Sets the numeric format with the given code (out of the format constants in HackController).
  */
 public void setNumericFormat(int formatCode) {
   if (!formatCombo.isSelectedIndex(formatCode)) formatCombo.setSelectedIndex(formatCode);
 }
 /**
  * Sets the animation mode (int code, out of the possible animation constants in HackController)
  */
 public void setAnimationMode(int mode) {
   if (!animationCombo.isSelectedIndex(mode)) animationCombo.setSelectedIndex(mode);
 }
 public void setAdditionalDisplay(int display) {
   if (!additionalDisplayCombo.isSelectedIndex(display))
     additionalDisplayCombo.setSelectedIndex(display);
 }
 /** Called when the additional display's "comparison" menu item was selected. */
 public void compareMenuItem_actionPerformed() {
   if (!additionalDisplayCombo.isSelectedIndex(HackController.COMPARISON_ADDITIONAL_DISPLAY))
     additionalDisplayCombo.setSelectedIndex(HackController.COMPARISON_ADDITIONAL_DISPLAY);
 }
 /** Called when the additional display's "no display" menu item was selected. */
 public void noAdditionalDisplayMenuItem_actionPerformed() {
   if (!additionalDisplayCombo.isSelectedIndex(HackController.NO_ADDITIONAL_DISPLAY))
     additionalDisplayCombo.setSelectedIndex(HackController.NO_ADDITIONAL_DISPLAY);
 }
 /** Called when the numeric format's "binary" menu item was selected. */
 public void binMenuItem_actionPerformed() {
   if (!formatCombo.isSelectedIndex(HackController.BINARY_FORMAT))
     formatCombo.setSelectedIndex(HackController.BINARY_FORMAT);
 }
 /** Called when the numeric format's "hexa" menu item was selected. */
 public void hexaMenuItem_actionPerformed() {
   if (!formatCombo.isSelectedIndex(HackController.HEXA_FORMAT))
     formatCombo.setSelectedIndex(HackController.HEXA_FORMAT);
 }
 /** Called when the numeric format's "decimal" menu item was selected. */
 public void decMenuItem_actionPerformed() {
   if (!formatCombo.isSelectedIndex(HackController.DECIMAL_FORMAT))
     formatCombo.setSelectedIndex(HackController.DECIMAL_FORMAT);
 }
 /** Called when the animation's "no animation" menu item was selected. */
 public void noAnimMenuItem_actionPerformed() {
   if (!animationCombo.isSelectedIndex(HackController.NO_DISPLAY_CHANGES))
     animationCombo.setSelectedIndex(HackController.NO_DISPLAY_CHANGES);
 }
 /** Called when the animation's "animate" menu item was selected. */
 public void fullAnimMenuItem_actionPerformed() {
   if (!animationCombo.isSelectedIndex(HackController.ANIMATION))
     animationCombo.setSelectedIndex(HackController.ANIMATION);
 }