Bonsoir un peu trop fatiguée ce soir pour expliquer en Anglais les soucis que j’ai eu avec Codemirror et solutions trouvées j’ai décidé de vous en faire profiter , alors déjà les soucis :
- problème d’alignement entre les numéros de ligne et les lignes
- esthétique : je ne supporte plus la mise en gras du code php
solutions trouvées : tout se passe dans les définitions css
- les marges des deux conteneurs ainsi que les hauteurs de lignes ne sont pas cohérentes
il faut changer padding: 4px 0.3em 4px 0; en padding: 0.4em 0.3em 0.4em 0; dans /assets/components/codemirror/css/cm.css
et mettre line-height: 1.2em; dans /assets/components/codemirror/cm/contrib/php/css/phpcolors.css
en réalité il faut que les marges hautes (marge+padding), la fonte, la taille de la fonte et la hauteur de ligne soient identiques dans cm.css et phpcolors.css pour les classes css .CodeMirror-line-numbers et .editbox
- pour l’esthétique il suffit de virer ou commenter les lignes contenant font-weight: bold; du fichier phpcolors.css
.CodeMirror-line-numbers {
...
font-family: monospace;
font-size: 10pt;
padding: 0.4em 0.3em 0.4em 0;
line-height: 1.2;
...
}
.editbox {
margin: .4em;
padding: 0;
font-family: monospace;
font-size: 10pt;
line-height:1.2em;
}