Comment changer la police de la vue HTML dans l’éditeur classique

Vous voulez changer la police par défaut de l’affichage HTML dans l’éditeur classique ? Depuis la version 3.2 de WordPress, l’affichage HTML dans l’éditeur classique utilise une police monospaciale. Dans cet article, nous allons vous montrer comment changer la police de l’éditeur HTML de WordPress.

Instructions:

Tout ce que vous avez à faire est d’ajouter ce code dans le fichier functions.php de votre thème ou dans un plugin spécifique à votre site:

<?php
add_action( 'admin_head-post.php', 'devpress_fix_html_editor_font' );
add_action( 'admin_head-post-new.php', 'devpress_fix_html_editor_font' );
 
function devpress_fix_html_editor_font() { ?>
    <style type="text/css">
        #editorcontainer #content, #wp_mce_fullscreen {
            font-family: Georgia, "Times New Roman", "Bitstream Charter", Times, serif;
        }
    </style>
<?php } ?>

Note : Si c’est la première fois que vous ajoutez des extraits de code dans WordPress, veuillez vous référer à notre guide sur comment copier/coller correctement des extraits de code dans WordPress, afin de ne pas casser accidentellement votre site.

Si vous avez aimé cet extrait de code, n’hésitez pas à consulter nos autres articles sur le site comme : 62 meilleurs thèmes de blog WordPress gratuits ou 7 meilleurs plugins de formulaire de contact WordPress.