Les éditeurs de thèmes et de plugins WordPress par défaut sont de simples éditeurs de texte brut. Ils ne sont pas destinés à être utilisés comme un outil de développement. Leur but est d’examiner rapidement le code ou d’apporter quelques modifications mineures à votre thème enfant ou à un plugin spécifique au site. Cependant, si vous souhaitez disposer d’une interface plus robuste pour ces éditeurs avec la coloration syntaxique, les numéros de ligne, la coloration des lignes, alors vous êtes au bon endroit. Dans cet article, nous allons vous montrer comment remplacer l’éditeur de thème et de plugin par défaut dans WordPress.
Avant de modifier vos thèmes ou plugins, nous vous recommandons fortement de créer une sauvegarde de votre site WordPress. Si quelque chose ne va pas et que vous ne parvenez pas à le réparer, vous pouvez toujours restaurer WordPress à partir d’une sauvegarde. Un autre inconvénient de la modification de vos fichiers de thème et de plug-in sur un site en direct est qu’une erreur peut vous empêcher d’accéder à la zone d’administration de WordPress. Il est donc important que vous disposiez d’un accès FTP à votre site, afin que vous puissiez réparer les choses manuellement en cas de problème.
La première chose que vous devez faire est d’installer et d’activer le Éditeur de WP brancher. Lors de l’activation, le plugin ajoute un nouveau menu WP Editor dans votre barre latérale d’administration WordPress. En cliquant dessus, vous accéderez à la page des paramètres du plugin.
Comme vous pouvez le voir, il existe des onglets pour l’éditeur de thème, l’éditeur de plugin et l’éditeur de publication. Vous pouvez remplacer l’éditeur WordPress par défaut sur ces emplacements par celui fourni par le plugin. Dans l’onglet principal des paramètres, vous pouvez choisir de masquer et de remplacer l’éditeur WordPress par défaut, ou vous pouvez avoir à la fois les éditeurs WordPress ainsi que les éditeurs fournis par le plugin.
Chaque éditeur fourni par le plugin a ses propres paramètres. Cliquez sur l’éditeur de thème pour modifier ses paramètres. Vous remarquerez qu’il existe différentes options disponibles. Vous pouvez choisir un thème de couleur pour votre éditeur de thème et choisir les extensions de fichiers pouvant être modifiées. Entre autres options, vous pouvez choisir de mettre en surbrillance la ligne active, d’afficher les numéros de ligne, d’ajuster la taille de la police, etc. Vous pouvez également activer la fonction de téléchargement de fichiers qui vous permettra de télécharger des fichiers directement depuis l’éditeur de thème.
Une fois que vous avez terminé de régler les options, cliquez sur Enregistrer les modifications. Vous pouvez voir l’éditeur de thème remplacé en action sous Apparence » Éditeur de thèmeet éditeur de plug-in sous Plugins » Éditeur de plugins.
Si vous avez activé l’éditeur de publication, veuillez noter que le plugin ne remplace pas l’éditeur de publication WordPress Visual. Il a seulement remplacé l’éditeur de publication en texte brut. Tous vos boutons de formatage de texte brut restent les mêmes. Ce plugin ajoute simplement des couleurs, des surlignages et des numéros de ligne à l’éditeur.
L’avantage d’utiliser WordPress est qu’il vous offre des choix. Vous pouvez choisir d’utiliser l’éditeur par défaut, vous pouvez le remplacer par l’option que nous avons montrée dans cet article, ou vous pouvez entièrement désactiver les éditeurs de thèmes et de plugins de WordPress.
Nous espérons que cet article vous a aidé à choisir une autre option pour votre thème WordPress par défaut et vos éditeurs de plugins. Faites-nous savoir ce que vous en pensez en laissant un commentaire ci-dessous.