Damien Elmes 6b1dd9ee19 expand backend Preferences and make undoable ... - moved 'default to current deck when adding' into prefs - move some profile options into the collection config, so they're undoable and will sync. There is (currently) no automatic migration from the old profile settings, meaning users will need to set the options again if they've customized them. - tidy up preferences.py - drop the deleteMedia option that was not exposed in the UI		2021-03-10 18:51:03 +10:00
..
changes.rs	undo support for config entries	2021-03-10 11:53:27 +10:00
mod.rs	coalesce note updates; avoid unnecessary saving due to mtime changes	2021-03-10 11:53:27 +10:00
ops.rs	expand backend Preferences and make undoable	2021-03-10 18:51:03 +10:00