Mijn ervaring is dat je dat prima kunt doen met een screendump, en dus een plaatje van de code in je editor gebruiken. Daar je meestal niet boven de 10 kleuren uit komt, is het GIF formaat ideaal om grote plaatjes klein op te slaan.
Een nadeel hiervan is dat je geen copy/paste mogelijkheid hebt.
Ik ben er zelf af en toe mee bezig om een PHP script te schrijven dat de broncode omzet naar tekst die met HTML gekleurd wordt.
Het nadeel is dat je bij het maken van zo'n programma of script overal rekening mee moet houden, en dan vooral de oude standaarden (HTML 4.01 en eerder) liggen dwars.
Maar er zijn vast anderen die ooit zo een soort module heeft geschreven. Het zoeken hiernaar zal waarschijnlijk wel tegenvallen, je krijgt vooral hits van pagina's over editors.
In de meeste gevallen zal de screendump methode wel voldoende zijn denk ik?
Als je zeker weet dat je pagina geldig XHTML is, dan kun je op die link in m'n signature klikken.
:strip_exif()/u/14937/cover.gif?f=community)
:strip_exif()/u/22479/169-back.gif?f=community)
:strip_icc():strip_exif()/u/30425/crop5906f20a03bb0_cropped.jpeg?f=community)
