Per supportare evidenziazione HTML personalizzata e opzioni globali highlightjs configurabili, sembrano necessarie alcune API di plugin aggiuntive.
Questa PR è benvenuta? Ho già fatto del lavoro nel mio fork del repository
3 Mi Piace
Mi sembra buono, per favore invia una PR.
5 Mi Piace
This topic was automatically closed 30 days after the last reply. New replies are no longer allowed.