• Ajustements Codemirror#

  • Arialia Reply #1, 1 year ago

    Reply
    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 :
      [list]
    • 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
    [/list]
    solutions trouvées : tout se passe dans les définitions css
      [list]
    • 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
    [/list]
    .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;
    	
    }