Xterm.js: Problème de police

Créé le 26 juin 2018  ·  4Commentaires  ·  Source: xtermjs/xterm.js

Salut,
xterm

C'est ainsi que xterm est affiché avec les valeurs par défaut.
J'ai essayé de changer la famille de polices et la hauteur de ligne.
Quel est le problème?
J'utilise votre exemple de démarrage.

Des détails

  • Navigateur et version du navigateur : Chrome 67
  • Version du système d'exploitation : Ubuntu 18.04
  • version de xterm.js : 3.4.1

Étapes à reproduire



    1. 2.
duplicate
Source
picture ghost

Commentaire le plus utile

J'ai ajouté ceci au constructeur, ce qui résout le problème pour moi sur Ubuntu 18.04 et Chrome 67 :

const xterm = new Terminal({ 
    fontSize: 14,
    fontFamily: 'Ubuntu Mono, courier-new, courier, monospace'
});
picture jnodev le 11 juil. 2018
👍3

Tous les 4 commentaires

Bonjour, votre problème semble lié au #1170

A eu le même problème sur debian buster/sid / Firefox ESR 52.8.1 (64 bits) , l'a corrigé en changeant la famille de polices en Courier New

const xterm = new Terminal({ fontFamily: 'Courier New' });
7PH picture 7PH le 26 juin 2018
👍2

Salut,
J'ai ajouté l'option fontFamily:'Courier New' au constructeur.
Mais rien n'a changé.

ghost picture ghost le 26 juin 2018

J'ai ajouté ceci au constructeur, ce qui résout le problème pour moi sur Ubuntu 18.04 et Chrome 67 :

const xterm = new Terminal({ 
    fontSize: 14,
    fontFamily: 'Ubuntu Mono, courier-new, courier, monospace'
});
jnodev picture jnodev le 11 juil. 2018
👍3

Merci @jan0e .
Cela a résolu mon problème.

ghost picture ghost le 26 juil. 2018
Cette page vous a été utile?
0 / 5 - 0 notes

Questions connexes

pfitzseb picture pfitzseb  ·  3Commentaires
travisobregon picture travisobregon  ·  3Commentaires
chris-tse picture chris-tse  ·  4Commentaires
parisk picture parisk  ·  3Commentaires
Tyriar picture Tyriar  ·  4Commentaires