From 3968090f165d20e4c75b1c899f0a9fdcaf2ab546 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Tue, 16 Jun 2015 08:07:50 -0400 Subject: [PATCH] better handling of version number --- java/src/processing/mode/java/JavaEditor.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java index a9dc2a503..cec82432c 100644 --- a/java/src/processing/mode/java/JavaEditor.java +++ b/java/src/processing/mode/java/JavaEditor.java @@ -833,7 +833,8 @@ public class JavaEditor extends Editor { // "" + "Embedding Java will make the " + platformName + " application " + "larger, but it will be far more likely to work. " + - "Users on other platforms will need to install Java 7."; + "Users on other platforms will need to " + + "install Java " + PApplet.javaVersionShort + "."; final String nopeWarning = "
" + // "" +