better handling of version number

This commit is contained in:
Ben Fry
2015-06-16 08:07:50 -04:00
parent a2e33751ee
commit 3968090f16

View File

@@ -833,7 +833,8 @@ public class JavaEditor extends Editor {
// "<html><body><font size=2>" +
"Embedding Java will make the " + platformName + " application " +
"larger, but it will be far more likely to work. " +
"Users on other platforms will need to <a href=\"\">install Java 7</a>.";
"Users on other platforms will need to " +
"<a href=\"\">install Java " + PApplet.javaVersionShort + "</a>.";
final String nopeWarning =
"<html><div width=\"" + divWidth + "\"><font size=\"2\">" +
// "<html><body><font size=2>" +