4646public class Base {
4747 // Added accessors for 0218 because the UpdateCheck class was not properly
4848 // updating the values, due to javac inlining the static final values.
49- static private final int REVISION = 227 ;
49+ static private final int REVISION = 228 ;
5050 /** This might be replaced by main() if there's a lib/version.txt file. */
51- static private String VERSION_NAME = "0227 " ; //$NON-NLS-1$
51+ static private String VERSION_NAME = "0228 " ; //$NON-NLS-1$
5252 /** Set true if this a proper release rather than a numbered revision. */
5353// static private boolean RELEASE = false;
5454
@@ -990,15 +990,15 @@ protected Editor handleOpen(String path, boolean untitled, EditorState state) {
990990 return editor ;
991991
992992 } catch (Throwable t ) {
993- showBadnessTrace ("Terrible News" ,
993+ showBadnessTrace ("Terrible News" ,
994994 "A serious error occurred while " +
995995 "trying to create a new editor window." , t , false );
996996 nextMode = coreModes [0 ];
997997 return null ;
998998 }
999999 }
10001000
1001-
1001+
10021002 private static class ModeInfo {
10031003 public final String title ;
10041004 public final String id ;
@@ -1009,7 +1009,7 @@ public ModeInfo(String id, String title) {
10091009 }
10101010 }
10111011
1012-
1012+
10131013 private static ModeInfo modeInfoFor (final File sketch ) {
10141014 final File sketchFolder = sketch .getParentFile ();
10151015 final File sketchProps = new File (sketchFolder , "sketch.properties" );
@@ -1031,7 +1031,7 @@ private static ModeInfo modeInfoFor(final File sketch) {
10311031 return null ;
10321032 }
10331033
1034-
1034+
10351035 private Mode promptForMode (final File sketch , final ModeInfo preferredMode ) {
10361036 final String extension =
10371037 sketch .getName ().substring (sketch .getName ().lastIndexOf ('.' ) + 1 );
@@ -1074,7 +1074,7 @@ private Mode promptForMode(final File sketch, final ModeInfo preferredMode) {
10741074 null , modes , modes [0 ]);
10751075 }
10761076
1077-
1077+
10781078 private Mode selectMode (final File sketch ) {
10791079 final ModeInfo modeInfo = modeInfoFor (sketch );
10801080 final Mode specifiedMode = modeInfo == null ? null : findMode (modeInfo .id );
@@ -1084,7 +1084,7 @@ private Mode selectMode(final File sketch) {
10841084 return promptForMode (sketch , modeInfo );
10851085 }
10861086
1087-
1087+
10881088 protected Mode findMode (String id ) {
10891089 for (Mode mode : getModeList ()) {
10901090 if (mode .getIdentifier ().equals (id )) {
@@ -1094,7 +1094,7 @@ protected Mode findMode(String id) {
10941094 return null ;
10951095 }
10961096
1097-
1097+
10981098 /**
10991099 * Close a sketch as specified by its editor window.
11001100 * @param editor Editor object of the sketch to be closed.
@@ -2186,8 +2186,8 @@ static public void showWarning(String title, String message, Throwable e) {
21862186 }
21872187 if (e != null ) e .printStackTrace ();
21882188 }
2189-
2190-
2189+
2190+
21912191 /**
21922192 * Non-fatal error message with optional stack trace side dish.
21932193 */
@@ -2265,12 +2265,12 @@ static public void showError(String title, String message, Throwable e) {
22652265 if (e != null ) e .printStackTrace ();
22662266 System .exit (1 );
22672267 }
2268-
2269-
2268+
2269+
22702270 /**
22712271 * Testing a new warning window that includes the stack trace.
22722272 */
2273- static private void showBadnessTrace (String title , String message ,
2273+ static private void showBadnessTrace (String title , String message ,
22742274 Throwable t , boolean fatal ) {
22752275 if (title == null ) title = fatal ? "Error" : "Warning" ;
22762276
@@ -2279,17 +2279,17 @@ static private void showBadnessTrace(String title, String message,
22792279 if (t != null ) {
22802280 t .printStackTrace ();
22812281 }
2282-
2282+
22832283 } else {
22842284 StringWriter sw = new StringWriter ();
22852285 t .printStackTrace (new PrintWriter (sw ));
22862286 // Necessary to replace \n with <br/> (even if pre) otherwise Java
2287- // treats it as a closed tag and reverts to plain formatting.
2288- message = "<html>" + message + "<br/><font size=2><br/>" +
2287+ // treats it as a closed tag and reverts to plain formatting.
2288+ message = "<html>" + message + "<br/><font size=2><br/>" +
22892289 sw .toString ().replaceAll ("\n " , "<br/>" );
22902290
22912291 JOptionPane .showMessageDialog (new Frame (), message , title ,
2292- fatal ?
2292+ fatal ?
22932293 JOptionPane .ERROR_MESSAGE :
22942294 JOptionPane .WARNING_MESSAGE );
22952295 }
@@ -2527,7 +2527,7 @@ static public File getJavaHome() {
25272527 //return "Contents/PlugIns/jdk1.7.0_40.jdk/Contents/Home/jre/bin/java";
25282528 File [] plugins = getContentFile ("../PlugIns" ).listFiles (new FilenameFilter () {
25292529 public boolean accept (File dir , String name ) {
2530- return dir .isDirectory () &&
2530+ return dir .isDirectory () &&
25312531 name .endsWith (".jdk" ) && !name .startsWith ("." );
25322532 }
25332533 });
0 commit comments