Syntaxhighlighter
Fermé
graffx
Messages postés
6506
Date d'inscription
jeudi 22 mars 2007
Statut
Contributeur
Dernière intervention
24 mars 2019
-
1 janv. 2012 à 18:22
graffx Messages postés 6506 Date d'inscription jeudi 22 mars 2007 Statut Contributeur Dernière intervention 24 mars 2019 - 2 janv. 2012 à 01:58
graffx Messages postés 6506 Date d'inscription jeudi 22 mars 2007 Statut Contributeur Dernière intervention 24 mars 2019 - 2 janv. 2012 à 01:58
2 réponses
avion-f16
Messages postés
19249
Date d'inscription
dimanche 17 février 2008
Statut
Contributeur
Dernière intervention
15 juin 2024
4 504
Modifié par avion-f16 le 2/01/2012 à 01:00
Modifié par avion-f16 le 2/01/2012 à 01:00
Salut :-)
« J'avoue que je suis assez perplexe sur ce javascript permettant de colorer du code »
Ce script est pourtant très utilisé depuis pas mal de temps.
« les appels javascripts doivent etre en fin de page (bizarre non?) »
Bizarre ?
Lorsque le script JS permettant de lancer la colorisation est exécuté, les balises contenant le code à colorer sont déjà connues par le navigateur (DOM) et sont donc accessibles via Javascript pour effectuer tout le traitement.
D'après le site, deux fichiers CSS devraient être insérés (shCore.css et shThemeDefault.css).
Dans ton code, il n'y en a qu'un. Où est l'autre ? ;-)
« En tout cas en javascript c'est assez special car ca se passe coté client et non serveur »
Je pense que tu sous-estimes Javascript :)
Tu n'as pas encore vu ce qu'on peut faire grâce aux API HTML5 ?
WebSocket, ContentEditable, History, Offline, Drag'n'Drop, FileReader, WebStorage, Geolocalisation, Database, Canvas, WebGL, Audio/Video, etc ...
Côté serveur, je connais également FSHL.
En Python, il y a Pygments, sans doute le meilleur.
Il y a moyen de le faire communiquer avec PHP (sockets ou services Web)
Côté client, il y a aussi Google Code Prettify
https://code.google.com/archive/p/google-code-prettify
Et bonne année :-)
.women input:required { min-height : 20cm; }
« J'avoue que je suis assez perplexe sur ce javascript permettant de colorer du code »
Ce script est pourtant très utilisé depuis pas mal de temps.
« les appels javascripts doivent etre en fin de page (bizarre non?) »
Bizarre ?
Lorsque le script JS permettant de lancer la colorisation est exécuté, les balises contenant le code à colorer sont déjà connues par le navigateur (DOM) et sont donc accessibles via Javascript pour effectuer tout le traitement.
D'après le site, deux fichiers CSS devraient être insérés (shCore.css et shThemeDefault.css).
Dans ton code, il n'y en a qu'un. Où est l'autre ? ;-)
« En tout cas en javascript c'est assez special car ca se passe coté client et non serveur »
Je pense que tu sous-estimes Javascript :)
Tu n'as pas encore vu ce qu'on peut faire grâce aux API HTML5 ?
WebSocket, ContentEditable, History, Offline, Drag'n'Drop, FileReader, WebStorage, Geolocalisation, Database, Canvas, WebGL, Audio/Video, etc ...
Côté serveur, je connais également FSHL.
En Python, il y a Pygments, sans doute le meilleur.
Il y a moyen de le faire communiquer avec PHP (sockets ou services Web)
Côté client, il y a aussi Google Code Prettify
https://code.google.com/archive/p/google-code-prettify
Et bonne année :-)
.women input:required { min-height : 20cm; }
graffx
Messages postés
6506
Date d'inscription
jeudi 22 mars 2007
Statut
Contributeur
Dernière intervention
24 mars 2019
1 975
2 janv. 2012 à 01:58
2 janv. 2012 à 01:58
Helloooooo!
Effectivement j' avoue que j' utilise trés peu javascript, le moins possible en fait.
Alors j' ai telechargé une ancienne version, ma faute, j' ai corrigé entre temps pour les deux css avec la derniere version du script.
Toujours le meme souci. Le mieux est que tu vois par toi-meme!
Meric avion!
Effectivement j' avoue que j' utilise trés peu javascript, le moins possible en fait.
Alors j' ai telechargé une ancienne version, ma faute, j' ai corrigé entre temps pour les deux css avec la derniere version du script.
Toujours le meme souci. Le mieux est que tu vois par toi-meme!
Meric avion!