use preferred button heights

Author: codeanticode

src/processing/mode/android/KeyStoreManager.java

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

src/processing/mode/android/Permissions.java

@@ -155,7 +155,7 @@ public void mouseClicked(MouseEvent e) {
     buttons.setAlignmentX(LEFT_ALIGNMENT);
     JButton okButton = new JButton("OK");
     Dimension dim = new Dimension(Toolkit.getButtonWidth(),
-                                  Toolkit.zoom(okButton.getPreferredSize().height));
+                                  okButton.getPreferredSize().height);
     okButton.setPreferredSize(dim);
     okButton.addActionListener(new ActionListener() {
       public void actionPerformed(ActionEvent e) {

src/processing/mode/android/SysImageDownloader.java

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