Discussion MediaWiki:Gadget-DotsSyntaxHighlighter.js

Documentation modifier

La documentation de ce gadget est disponible sur mw:User:Remember_the_dot/Syntax_highlighter/fr. Wikini (discuter) 13 mars 2015 à 10:56 (CET)Répondre

Problème de police modifier

Bonjour, j'ai testé ce gadget, et j'ai ce soucis : Quand la coloration syntaxique s'enclenche, la police du texte (ou l'espacement interligne) se retrouve modifié et ce qui était affiché précédemment se retrouve soudainement décalé, avec une ligne en plus :

Gentil ♥ (discuter) 10 mai 2015 à 08:00 (CEST)Répondre

Problème de décalage de colorisation après un texte trop long modifier

Si un texte prend plus d'une ligne à afficher (comme une longue URL), alors la colorisation qui suit est en décalage. Voir Fichier:Décalage_avec_DotsSyntaxHighlighter.png qui correspond à l'édition du paragraphe Discussion_Projet:JavaScript/Rapport_de_bug#MediaWiki:Common.js_-_La_recherche_Exalead_est_cass.C3.A9e. Gentil ♥ (discuter) 10 mai 2015 à 11:11 (CEST)Répondre

Pour le signalement de bug, il vaut mieux le faire sur la page de discussion du créateur (en anglais) ici : en:User_talk:Remember_the_dot. Cordialement, Wikini (discuter) 11 mai 2015 à 13:38 (CEST)Répondre

Superbe outils mais pas de lien sur la documentation modifier

Ce gadget intitulé SyntaxHighlighter n'en est vraiment pas un. C'est un outil de grande qualité car il permet de corriger les questions de parenthèses au moment de l'écriture (du moins dès qu'on travaille avec de nombreuses accolades) en jouant sur la couleur. Malheureusement il n'y a pas de lien sur la documentation dans le sous-menu gadgets du menu Préférences.

Il faut donc éditer la page MediaWiki:Gadget-DotsSyntaxHighlighter‎ et la remplacer par, par exemple :

Syntax highlighter: activer la coloration syntaxique du wikitexte

or je n'ai pas les droits pour le faire. Un administrateur peut-il le faire (comme pour les autres gadgets qui n'ont pas de lien sur leur documentation. Merci.--Nbrouard (discuter) 25 juin 2017 à 17:36 (CEST)Répondre

Fait. — Thibaut (discuter) 25 juin 2017 à 17:41 (CEST)Répondre
Merci.--Nbrouard (discuter) 25 juin 2017 à 17:51 (CEST)Répondre
Revenir à la page « Gadget-DotsSyntaxHighlighter.js ».