bigbn/drop-down-terminal-x

Add custom fonts

JoohanV opened this issue · 5 comments

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:
dropdownzsh

bigbn commented

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.
image

nvdl commented

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

const fontDesc = Pango.FontDescription.from_string(fontDescStr)

change it to:

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

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

@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 commented

@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.