Plug-in « Caractères Spéciaux » pour Coda

English instructions can be found below the french text.

Ce plug-in pour l’éditeur HTML Coda (édité par Panic) permet de remplacer les caractères spéciaux par leur équivalent HTML (ex : É devient É). Il est basé sur le plugin Accent2HTML.

Ce plug-in nécessite la version 1.6 de Coda.

Utilisation :

Vous pouvez choisir de remplacer tous les caractères spéciaux que le plug-in connait ou bien d’appliquer le remplacement d’une certaine catégorie de caractères spéciaux seulement. Sélectionnez simplement le texte que vous souhaitez traiter à l’aide du plug-in et choisissez l’option qui vous convient depuis le menu Replace Special Characters disponible dans le menu Plug-ins de Coda. Les choix disponibles sont :

  • Replace All Special Characters : Tous les caractères que le plug-in connait seront remplacés. Cette option est accessible avec le raccourci clavier shift-cmd-H (shift-pomme-H).
  • Accents and Ligatures : seul les caractères accentués et les lettres ligaturées (ex : œ) seront remplacés.
  • Punctuation Marks : remplace les signes de ponctuations (ex : “ ¿ « »).
  • Special Letters : remplace les lettres spéciales comme Ø, Ð ou ß.
  • Trademarks, Currencies, etc. : remplace les signes de monnaies et les divers signes de copyrights.
  • Greek Alphabet : remplace les lettres de l’alphabet Grec.
  • Sciences Characters : remplace les signes comme ¼, ‰, ÷ ou encore ≤.
  • Ampersand (&) : remplace les signes esperluettes (&). A manier avec précaution ! Sélectionnez des portions de texte sans caractères spéciaux déjà encodé (ex : é) sous peine de « pourrir » votre code… Cette option est accessible avec le raccourci clavier cmd-& (pomme-&).

La liste complète des caractères traités peut être consultée sur cette page. Je n’ai pas intégré la dernière partie de la page, Divers caractères, car il ne sont pas forcément bien reconnu par tous les navigateurs. J’ai également exclu la conversion des caractères &, < et > afin de permettre l’application du plug-in à une large portion de code HTML sans pour autant le corrompre. Pour répondre à une demande j’ai ajouté une option permettant le remplacement spécifique du symbole &.

téléchargez le plug-in (36 Ko)

Replace Special Characters plug-in for Panic Coda

This plug-in for HTML editor Coda (from Mac software editor Panic) allows to replace special characters by their equivalent HTML code (ex: É becomes &Eacute;). It’s based on another Coda plug-in: Accent2HTML.

This plug-in requires Panic Coda 1.6.

How to use it:

You can choose to replace all special characters that the plug-in knows about or to replace characters from a specific category only. Just select the code you want to be processed by the plug-in then choose your option from the Replace Special Characters in Coda plug-ins menu. Available options are:

  • Replace All Special Characters: All known special characters will be replaced. This option has a keyboard shortcut: shift-cmd-M.
  • Accents and Ligatures: only letters with accents or ligatures (ex: œ, é) will be replaced.
  • Punctuation Marks: quite self explanatory (ex: “ ¿ « »).
  • Special Letters: will replace special letters such as Ø, Ð or ß.
  • Trademarks, Currencies, etc.: will replace known currencies signs and copyrights characters.
  • Greek Alphabet: will replace letters from the Greek alphabet.
  • Sciences Characters: will replace known scientific signs such as ¼, ‰, ÷ or ≤.
  • Ampersand (&): will replace ampersands (&) only. Use with care: you will garbage your HTML markup if you apply this option on a selection of code that includes already encoded special characters (ex : &eacute; will become &amp;eacute;). This option has a keyboard shortcut: cmd-&.

The complete list of characters processed is available on this page. I didn’t include the last part of the page (Divers caractères) because they are not well supported in all browsers and should be avoided. I also left out &, < and > in order to allow the use of the plug-in on large chunks of HTML code without any risks of messing it up. On request I’ve added a specific option to separatly convert ampersands (&).

Download the plug-in (36 Kb)