DrJavaAtRice
diff --git a/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$1$1.class‎
0 Bytes b/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$1$1.class‎
0 Bytes
diff --git a/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$1.class‎
0 Bytes b/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$1.class‎
0 Bytes
diff --git a/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform.class‎
699 Bytes b/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform.class‎
699 Bytes
diff --git a/‎platform/classes/base-windows/edu/rice/cs/drjava/platform/WindowsPlatform.class‎
0 Bytes b/‎platform/classes/base-windows/edu/rice/cs/drjava/platform/WindowsPlatform.class‎
0 Bytes
diff --git a/‎platform/src-mac/edu/rice/cs/drjava/platform/MacPlatform.java‎
Lines changed: 54 additions & 0 deletions b/‎platform/src-mac/edu/rice/cs/drjava/platform/MacPlatform.java‎
Lines changed: 54 additions & 0 deletions
@@ -146,4 +146,58 @@ public boolean isMacPlatform() {
     return true;
   }
 
+  /** Set the keyboard mnemonic for the component in a way that is consistent with
+    * the current platform. On Mac OS, the Alt-? mnemonics are broken, so we do not
+    * set them.
+    * @param obj the component whose mnemonic should be set
+    * @param mnemonic the key code which represents the mnemonic
+    * @see javax.swing.AbstractButton#setMnemonic(int)
+    * @see java.awt.event.KeyEvent */
+  public void setMnemonic(javax.swing.AbstractButton obj, int mnemonic) {
+    // on Mac OS, the Alt-? mnemonics are broken, so we do not set them
+  }
+
+  /** Set the keyboard mnemonic for the component in a way that is consistent with
+    * the current platform. On Mac OS, the Alt-? mnemonics are broken, so we do not
+    * set them.
+    * @param obj the component whose mnemonic should be set
+    * @param mnemonic a char specifying the mnemonic value
+    * @see javax.swing.AbstractButton#setMnemonic(char) */
+  public void setMnemonic(javax.swing.AbstractButton obj, char mnemonic) {
+    // on Mac OS, the Alt-? mnemonics are broken, so we do not set them
+  }
+
+  /** Set the keyboard mnemonic for the component in a way that is consistent with
+    * the current platform. On Mac OS, the Alt-? mnemonics are broken, so we do not
+    * set them.
+    * @param obj the component whose mnemonic should be set
+    * @param mnemonic the key code which represents the mnemonic
+    * @see javax.swing.ButtonModel#setMnemonic(int)
+    * @see java.awt.event.KeyEvent */
+  public void setMnemonic(javax.swing.ButtonModel obj, int mnemonic) {
+    // on Mac OS, the Alt-? mnemonics are broken, so we do not set them
+  }
+
+  /** Set the keyboard mnemonic for the component in a way that is consistent with
+    * the current platform. On Mac OS, the Alt-? mnemonics are broken, so we do not
+    * set them.
+    * @param obj the component whose mnemonic should be set
+    * @param tabIndex the index of the tab that the mnemonic refers to
+    * @param mnemonic the key code which represents the mnemonic
+    * @see javax.swing.JTabbedPane#setMnemonic(int,int)
+    * @see java.awt.event.KeyEvent */
+  public void setMnemonic(javax.swing.JTabbedPane obj, int tabIndex, int mnemonic) {
+    // on Mac OS, the Alt-? mnemonics are broken, so we do not set them
+  }
+
+  /** Set the keyboard mnemonic for the component in a way that is consistent with
+    * the current platform. On Mac OS, the Alt-? mnemonics are broken, so we do not
+    * set them.
+    * @param obj the component whose mnemonic should be set
+    * @param mnemonic the key code which represents the mnemonic
+    * @see javax.swing.JTabbedPane#setMnemonic(int)
+    * @see java.awt.event.KeyEvent */
+  public void setMnemonic(javax.swing.JTabbedPane obj, int mnemonic) {
+    // on Mac OS, the Alt-? mnemonics are broken, so we do not set them
+  }
 }