Anki add-on: HTML Editor Tweaks v0.2

A set of tweaks to the built-in HTML editor. Hopefully an improvement for those who spend a lot of time editing cards. Somewhat alpha. Seems to work 99% of the time, but please make a backup of your collection first. If you encounter any issues, let me know on GitHub: https://github.com/luoliyan/anki-misc/issues Tweaks Prettifies the HTML by running it through Beautiful Soup Reformats pretty aggressively, which is what I wanted, but not everyone will like it Remaps Ctrl + Shift + X to F12 Sets a decent monospace font (assumes Iosevka ; edit __init__ .py to change) Resizes the editor to something more reasonable than 400 x 300 Disables the default behaviour of loading the cursor on the last line (personal preference, yes) Known Issues Adds spurious space just before <sub> or <sup> Incorrect handling of tags inside parentheses

GitHub repository: luoliyan/anki-misc
Repository description: Miscellaneous Anki projects
Languages: Python, JavaScript
Topics: anki, flashcards