Pour prendre en charge highlight personnalisé et les options globales highlightjs configurables, il semble que des API de plugin supplémentaires soient nécessaires.
Cette PR est-elle la bienvenue ? J’ai déjà fait du travail dans mon dépôt fork
3 « J'aime »
Cela me semble bien, veuillez envoyer une PR.
5 « J'aime »
This topic was automatically closed 30 days after the last reply. New replies are no longer allowed.