mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-26 20:54:22 +01:00
Prepare for LRU persistency
This commit is contained in:
parent
ddd876ca4e
commit
917b1321d6
@ -570,6 +570,36 @@ public class Base {
|
|||||||
return (opened > 0);
|
return (opened > 0);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
protected boolean restoreRecentlyUsedBoards() throws Exception {
|
||||||
|
// Iterate through all sketches that were open last time p5 was running.
|
||||||
|
// If !windowPositionValid, then ignore the coordinates found for each.
|
||||||
|
|
||||||
|
// Save the sketch path and window placement for each open sketch
|
||||||
|
int count = PreferencesData.getInteger("last.recent_boards.count");
|
||||||
|
int opened = 0;
|
||||||
|
for (int i = count - 1; i >= 0; i--) {
|
||||||
|
String fqbn = PreferencesData.get("last.recent_board" + i + ".fqbn");
|
||||||
|
if (fqbn == null) {
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
//selectTargetBoard(new TargetBoard());
|
||||||
|
}
|
||||||
|
return count != 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Store list of sketches that are currently open.
|
||||||
|
* Called when the application is quitting and documents are still open.
|
||||||
|
*/
|
||||||
|
protected void storeRecentlyUsedBoards() {
|
||||||
|
int i = 0;
|
||||||
|
for (TargetBoard board : BaseNoGui.getRecentlyUsedBoards()) {
|
||||||
|
PreferencesData.set("last.recent_board" + i + ".fqbn", board.getFQBN());
|
||||||
|
i++;
|
||||||
|
}
|
||||||
|
PreferencesData.setInteger("last.recent_boards.count", BaseNoGui.getRecentlyUsedBoards().size());
|
||||||
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Store screen dimensions on last close
|
* Store screen dimensions on last close
|
||||||
*/
|
*/
|
||||||
|
Loading…
x
Reference in New Issue
Block a user