diff options
| author | StefanVukovic99 <stefanvukovic44@gmail.com> | 2024-04-22 22:24:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-22 20:24:50 +0000 |
| commit | f0196aaf6beac57e17972c87153376bbbcdd7282 (patch) | |
| tree | 225ed467e09f8d83c02a666d419fef044621c9dd /ext/settings.html | |
| parent | c6d93a965a5536979221fda856903356c10c1603 (diff) | |
add profile switching keyboard shortcuts (#832)
* add profile switching
* add duplicate behavior dropdown (#853)
* duplicate behavior dropdown
* allow duplicate for existing users
* Update docs/anki-integration.md
Co-authored-by: James Maa <jmaa@berkeley.edu>
Signed-off-by: StefanVukovic99 <stefanvukovic44@gmail.com>
* Update docs/anki-integration.md
Co-authored-by: James Maa <jmaa@berkeley.edu>
Signed-off-by: StefanVukovic99 <stefanvukovic44@gmail.com>
* Update docs/anki-integration.md
Co-authored-by: James Maa <jmaa@berkeley.edu>
Signed-off-by: StefanVukovic99 <stefanvukovic44@gmail.com>
* remove suggestion comment
---------
Signed-off-by: StefanVukovic99 <stefanvukovic44@gmail.com>
Co-authored-by: James Maa <jmaa@berkeley.edu>
---------
Signed-off-by: StefanVukovic99 <stefanvukovic44@gmail.com>
Co-authored-by: James Maa <jmaa@berkeley.edu>
Diffstat (limited to 'ext/settings.html')
0 files changed, 0 insertions, 0 deletions