nerdfont webfonts

Nerd Font Web -Schriftarten

Nerd Font Web -Schriftarten für HMM.

Schriftarten enthalten

Die neueste Version von Nerd -Schriftarten wird unterstützt.

Verwendung

Aus Gründen der Bequemlichkeit gibt es nerdfont-webfonts.css , die für alle bereitgestellten Schriftarten Schriftgeräte enthält.

JavaScript

 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' ) ;

Einstellungsredakteur

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

Schriftligaturen

Standardmäßig deaktivieren wir Ligaturen. Einige Schriftarten ermöglichen ihnen aktiv wie Macos 'Menlo (z. B. "ae" wird als „æ“ gerendert). Dies durcheinander bringt das Kopieren und Einfügen und ist für ein Terminal wohl nicht besonders lesbar.

Wenn Sie eine Schriftart verwenden, die Ligaturen unterstützt und sie verwenden möchten, können Sie sie über das Feld user-css-text aktivieren:

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