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

Vous voulez changer la police par défaut de la vue HTML dans l'éditeur classique ? Depuis la sortie de WordPress 3.2, la vue HTML dans l'éditeur classique utilise une police à chasse fixe. Dans cet article, nous vous montrerons comment changer la police de votre éditeur HTML WordPress.

Instructions :

Il vous suffit d'ajouter ce code au fichier functions.php de votre thème ou dans un plugin spécifique au 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 } ?>

Remarque : Si c'est la première fois que vous ajoutez des extraits de code dans WordPress, veuillez consulter notre guide sur la manière de 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 tels que : 62 meilleurs thèmes de blog WordPress gratuits ou 7 meilleurs plugins de formulaire de contact WordPress.