use Toolkit.getButtonWidth()

Author: codeanticode

src/processing/mode/android/KeyStoreManager.java

@@ -62,7 +62,7 @@ private void createLayout() {
     JPanel buttons = new JPanel();
     buttons.setAlignmentX(LEFT_ALIGNMENT);
     JButton okButton = new JButton("OK");
-    Dimension dim = new Dimension(Toolkit.BUTTON_WIDTH,
+    Dimension dim = new Dimension(Toolkit.getButtonWidth(),
         okButton.getPreferredSize().height);
     okButton.setPreferredSize(dim);
     okButton.addActionListener(new ActionListener() {
@@ -98,7 +98,7 @@ public void actionPerformed(ActionEvent e) {
     cancelButton.setEnabled(true);
 
     JButton resetKeystoreButton = new JButton("Reset password");
-    dim = new Dimension(Toolkit.BUTTON_WIDTH*2,
+    dim = new Dimension(Toolkit.getButtonWidth()*2,
         okButton.getPreferredSize().height);
     resetKeystoreButton.setPreferredSize(dim);
     resetKeystoreButton.addActionListener(new ActionListener() {

src/processing/mode/android/Permissions.java

@@ -240,7 +240,7 @@ public void mouseClicked(MouseEvent e) {
 //    Box buttons = Box.createHorizontalBox();
     buttons.setAlignmentX(LEFT_ALIGNMENT);
     JButton okButton = new JButton("OK");
-    Dimension dim = new Dimension(Toolkit.BUTTON_WIDTH,
+    Dimension dim = new Dimension(Toolkit.getButtonWidth(),
                                   okButton.getPreferredSize().height);
     okButton.setPreferredSize(dim);
     okButton.addActionListener(new ActionListener() {

src/processing/mode/android/SDKDownloader.java

@@ -330,7 +330,7 @@ private void createLayout() {
 //    Box buttons = Box.createHorizontalBox();
     buttons.setAlignmentX(LEFT_ALIGNMENT);
     JButton cancelButton = new JButton("Cancel download");
-    Dimension dim = new Dimension(Toolkit.BUTTON_WIDTH*2,
+    Dimension dim = new Dimension(Toolkit.getButtonWidth()*2,
         cancelButton.getPreferredSize().height);
 
     cancelButton.setPreferredSize(dim);