File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -233,10 +233,10 @@ static public void save() {
233233 throw new IOException ("Could not delete preferences.old" );
234234 }
235235 }
236- if (!preferencesFile .renameTo (oldPreferences )) {
236+ if (preferencesFile .exists () &&
237+ !preferencesFile .renameTo (oldPreferences )) {
237238 throw new IOException ("Could not replace preferences.old" );
238239 }
239-
240240 // Make the temporary file into the real preferences
241241 if (!preferencesTemp .renameTo (preferencesFile )) {
242242 throw new IOException ("Could not move preferences file into place" );
Original file line number Diff line number Diff line change 110253 (3.2.1)
2- _ “Could not replace preferences.old” error message
3- _ https://github.com/processing/processing/issues/4626
2+ X “Could not replace preferences.old” error message
3+ X https://github.com/processing/processing/issues/4626
44_ 3.2 not starting up on Windows 10 (64-bit)
55_ https://github.com/processing/processing/issues/4623
66
You can’t perform that action at this time.
0 commit comments