Installers windows are now correctly scaled.

Author: cmaglie

app/src/cc/arduino/contributions/libraries/ui/ContributedLibraryTableCellJPanel.java

@@ -26,6 +26,7 @@
 import cc.arduino.contributions.libraries.ContributedLibrary;
 import cc.arduino.contributions.ui.InstallerTableCell;
 import processing.app.Base;
+import processing.app.Theme;
 
 public class ContributedLibraryTableCellJPanel extends JPanel {
 
@@ -39,7 +40,7 @@ public class ContributedLibraryTableCellJPanel extends JPanel {
   final JLabel statusLabel;
 
   public ContributedLibraryTableCellJPanel(JTable parentTable, Object value,
-                                     boolean isSelected) {
+                                           boolean isSelected) {
     super();
     setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));
 
@@ -217,10 +218,10 @@ private JTextPane makeNewDescription() {
     Document doc = description.getDocument();
     if (doc instanceof HTMLDocument) {
       HTMLDocument html = (HTMLDocument) doc;
-      StyleSheet stylesheet = html.getStyleSheet();
-      stylesheet.addRule("body { margin: 0; padding: 0;"
-                         + "font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;"
-                         + "font-size: 100%;" + "font-size: 0.95em; }");
+      StyleSheet s = html.getStyleSheet();
+      s.addRule("body { margin: 0; padding: 0;"
+                + "font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;"
+                + "font-size: " + 10 * Theme.getScale() / 100 + "; }");
     }
     description.setOpaque(false);
     description.setBorder(new EmptyBorder(4, 7, 7, 7));

app/src/cc/arduino/contributions/packages/ui/ContributedPlatformTableCellJPanel.java

@@ -57,6 +57,7 @@
 import cc.arduino.contributions.packages.ContributedPlatform;
 import cc.arduino.contributions.ui.InstallerTableCell;
 import processing.app.Base;
+import processing.app.Theme;
 
 @SuppressWarnings("serial")
 public class ContributedPlatformTableCellJPanel extends JPanel {
@@ -259,10 +260,10 @@ private JTextPane makeNewDescription() {
     Document doc = description.getDocument();
     if (doc instanceof HTMLDocument) {
       HTMLDocument html = (HTMLDocument) doc;
-      StyleSheet stylesheet = html.getStyleSheet();
-      stylesheet.addRule("body { margin: 0; padding: 0;"
-                         + "font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;"
-                         + "font-size: 100%;" + "font-size: 0.95em; }");
+      StyleSheet s = html.getStyleSheet();
+      s.addRule("body { margin: 0; padding: 0;"
+                + "font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;"
+                + "font-size: " + 10 * Theme.getScale() / 100 + "; }");
     }
     description.setOpaque(false);
     description.setBorder(new EmptyBorder(4, 7, 7, 7));

app/src/cc/arduino/contributions/ui/InstallerJDialog.java

@@ -30,6 +30,7 @@
 package cc.arduino.contributions.ui;
 
 import static processing.app.I18n.tr;
+import static processing.app.Theme.scale;
 
 import java.awt.BorderLayout;
 import java.awt.Color;
@@ -227,7 +228,7 @@ public void keyReleased(KeyEvent keyEvent) {
     }
     setProgressVisible(false, "");
 
-    setMinimumSize(new Dimension(800, 450));
+    setMinimumSize(scale(new Dimension(800, 450)));
 
     setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
 

app/src/processing/app/Theme.java

@@ -25,6 +25,7 @@
 
 import java.awt.Color;
 import java.awt.Component;
+import java.awt.Dimension;
 import java.awt.Font;
 import java.awt.Graphics;
 import java.awt.Graphics2D;
@@ -127,6 +128,10 @@ static public int scale(int size) {
     return size * getScale() / 100;
   }
 
+  static public Dimension scale(Dimension dim) {
+    return new Dimension(scale(dim.width), scale(dim.height));
+  }
+
   static public Color getColorCycleColor(String name, int i) {
     int cycleSize = getInteger(name + ".size");
     name = String.format("%s.%02d", name, i % cycleSize);