Skip to content

Commit bdc98a9

Browse files
Explicitely save preferences on startup
Before, the preferences were saved as a side effect of loading files in the Editor, but it seems better to explicitely save them as well (this should prevent problems later on, if the Editor class is no longer used in --verify or --upload mode).
1 parent 07181de commit bdc98a9

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

app/src/processing/app/Base.java

+5
Original file line numberDiff line numberDiff line change
@@ -433,6 +433,11 @@ public Base(String[] args) throws Exception {
433433
}
434434
}
435435

436+
// Save the preferences. For GUI mode, this happens in the quit
437+
// handler, but for other modes we should also make sure to save
438+
// them.
439+
Preferences.save();
440+
436441
switch (action) {
437442
case VERIFY:
438443
case UPLOAD:

0 commit comments

Comments
 (0)