You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
iOS is really laggy at times, with [random crashes] and it also crashes AnkiDroid
It really increases overall deck size and performance, as you can see in the below screenshot comparison (no media or scheduling have been included in the export):
I'm a novice with javascript (and have no intention of learning), so I can't continue supporting Highlight.js unless a) Anki supports src= attributes, or b) someone wiser than me creates a working, lightweight, reliable script to integrate Highlight.js
So, until Anki fully supports src= on all devices, I think using something like pygments is a far more practical solution, as there's backwards compatibility (albeit maintaining css for the code it outputs) and it can be safely swapped out for a js version if Anki eventually allows imports.
As a couple of posters have mentioned, using Highlight.js is problematic for the following reasons:
src=
isn't supported (an addon is available to allow this, but it'll only work for desktop)I'm a novice with javascript (and have no intention of learning), so I can't continue supporting Highlight.js unless a) Anki supports
src=
attributes, or b) someone wiser than me creates a working, lightweight, reliable script to integrate Highlight.jsSo, until Anki fully supports
src=
on all devices, I think using something like pygments is a far more practical solution, as there's backwards compatibility (albeit maintaining css for the code it outputs) and it can be safely swapped out for a js version if Anki eventually allows imports.Pygments can be used via the command line, or using an addon like Power format pack ... it outputs like this:
Not pretty, but I have a feeling it'll be lighter weight than including js on every card.
The text was updated successfully, but these errors were encountered: