nerdfont webfonts

Polices Web de police nerd

Fonts Web de police nerd pour Hterm.

Polices incluses

La dernière version des polices de nerd est prise en charge.

Usage

Pour plus de commodité, il y a nerdfont-webfonts.css , qui contient une face de police à ruban adhésif pour toutes les polices fournies.

Javascrip

 term_ . prefs_ . set ( 'font-family' , '"FiraCode Nerd Font", monospace' ) ;
term_ . prefs_ . set ( 'user-css' , 'https://mshaugh.github.io/nerdfont-webfonts/build/firacode-nerd-font.css' ) ;

Éditeur des préférences

• font-family: "FiraCode Nerd Font", monospace
• user-css: https://mshaugh.github.io/nerdfont-webfonts/build/firacode-nerd-font.css

Ligatures de police

Par défaut, nous désactivons les ligatures. Certaines polices leur permettent activement comme Menlo de MacOS (par exemple, "ae" est rendu comme «æ»). Cela gâche la copie et le collage et n'est sans doute pas terriblement lisible pour un terminal.

Si vous utilisez une police qui prend en charge les ligatures et que vous souhaitez les utiliser, vous pouvez les activer via le champ user-css-text :

 x-row {
  text-rendering : optimizeLegibility;
  font-variant-ligatures : normal;
}