mirror of
https://github.com/processing/processing4.git
synced 2026-02-04 06:09:17 +01:00
more consistency to Java version numbering
This commit is contained in:
@@ -825,8 +825,6 @@ public class JavaEditor extends Editor {
|
||||
platformName = "Linux (" + Base.getNativeBits() + "-bit)";
|
||||
}
|
||||
|
||||
final String javaPlatform =
|
||||
PApplet.split(System.getProperty("java.version"), '.')[1];
|
||||
boolean embed = Preferences.getBoolean("export.application.embed_java");
|
||||
final String embedWarning =
|
||||
"<html><div width=\"" + divWidth + "\"><font size=\"2\">" +
|
||||
@@ -834,12 +832,12 @@ 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 " +
|
||||
"<a href=\"\">install Java " + PApplet.javaVersionShort + "</a>.";
|
||||
"<a href=\"\">install Java " + PApplet.javaPlatform + "</a>.";
|
||||
final String nopeWarning =
|
||||
"<html><div width=\"" + divWidth + "\"><font size=\"2\">" +
|
||||
// "<html><body><font size=2>" +
|
||||
"Users on all platforms will have to install the latest " +
|
||||
"version of Java " + javaPlatform +
|
||||
"version of Java " + PApplet.javaPlatform +
|
||||
" from <a href=\"\">http://java.com/download</a>. " +
|
||||
"<br/> ";
|
||||
//"from <a href=\"http://java.com/download\">java.com/download</a>.";
|
||||
|
||||
Reference in New Issue
Block a user