Add custom fonts

[JoohanV]

I'm using zsh with powerlevel10k. This zsh theme needs the right font to properly work. Right now this theme is broken because I can't use said font.

A screenshot for clarification:

[bigbn]

This might be a bug with VTE upstream. I got similar issue with powerline without any reason. But after recent system upgrades everything work as expected.

[nvdl]

Until it is available as a feature, you can do the following modifications to use the needed font:

drop-down-terminal-x/drop-down-terminal-x@bigbn.pro/terminal.js

Line 948 in 5ff1dca

const fontDesc = Pango.FontDescription.from_string(fontDescStr)

change it to:

const fontDesc = Pango.FontDescription.from_string("MesloLGS NF 16");

[koolskateguy89]

@nvdl Any idea how to make the font smaller? Even when I changed 16 it made no difference

[koolskateguy89]

@nvdl Any idea how to make the font smaller? Even when I changed 16 it made no difference

Found it: there are inbuilt hotkeys to manipulate the font (Ctrl+Alt+= to increase and Ctrl+Alr+- to decrease by default)

[nvdl]

@nvdl Any idea how to make the font smaller? Even when I changed 16 it made no difference

Found it: there are inbuilt hotkeys to manipulate the font (Ctrl+Alt+= to increase and Ctrl+Alr+- to decrease by default)

I think reloading Gnome shell will also work after updating the font size.
Alt+F2, type in "r" without quotes and press enter.