Kartik K. Agaram
|
db0e15dfa6
|
delete one more field from file format
|
2023-04-20 22:10:55 -07:00 |
Kartik K. Agaram
|
0fd71eceb9
|
chunk up the saved file to be git friendly
Now we don't save a bunch of irrelevant fields from editor buffers, just
lines.
The cost: autosave every 3 seconds becomes much more expensive.
|
2023-04-20 22:10:55 -07:00 |
Kartik K. Agaram
|
11651bfe62
|
save/load First_available_id
|
2023-04-20 20:03:01 -07:00 |
Kartik K. Agaram
|
7b5cbe4362
|
bug: we're not saving/loading First_available_id
This will require more elaborate code for saving. First extract the
save/load logic to their own functions.
|
2023-04-20 19:40:47 -07:00 |