Gadgets
La bibliothèque libre.
Voici une liste de gadgets que les utilisateurs peuvent activer dans leur page de préférences, tel que défini dans les définitions. Cette vue d'ensemble donne un accès rapide aux pages de messages système qui définissent la description et le code de chaque gadget.
Rendu [Modifier]
- Ajouter un onglet permettant de purger le cache d'une page [Modifier]
Utilise : Gadget-OngletPurge.js - Arrondir les coins de l'interface (navigateurs Mozilla seulement) [Modifier]
Utilise : Gadget-CoinsArrondis.css - Colonne de texte alignée à gauche de l'écran. [Modifier]
Utilise : Gadget-LeftText.css - Masquer les notes [Modifier]
Utilise : Gadget-MasquerNotes.css - Convertir les caractères anciens (ex. ſ en s) [Modifier]
Utilise : Gadget-mod.js - SousPages : permet d'ajouter dans la boîte à outils, à gauche, un lien vers la liste des sous-pages [Modifier]
Utilise : Gadget-SousPages.js - Permet d’obtenir par double clic la définition d’un mot dans le dictionnaire. [Modifier]
Utilise : Gadget-dictionaryLookupHover.js
Édition [Modifier]
- Désactiver le bouton OCR (reconnaissance optique de caractères). [Modifier]
Utilise : Gadget-ocr.js - Fenêtre d'édition horizontale en mode page. [Modifier]
Utilise : Gadget-pr horiz.js - Affichage des en-têtes et pieds de page lors de l'édition en mode page [Modifier]
Utilise : Gadget-pr headers.js - Hot Cats : permet de rapidement ajouter / enlever / modifier une catégorie sur un article [Modifier]
Utilise : Gadget-HotCats.js - WikEd : éditeur intégré au navigateur ajoutant des fonctions de traitement de texte lors de l'édition (page d'aide) [illustration] [Modifier]
Utilise : Gadget-WikEd.js - Caractères spéciaux automatiques (accents, apostrophes) [Modifier]
Utilise : Gadget-specialchars.js - commandes interactives Match et Split (utilise le robot ThomasBot) [Modifier]
Utilise : Gadget-robot.js
