drop-down-terminal-x icon indicating copy to clipboard operation
drop-down-terminal-x copied to clipboard

Published 20 hours ago • verified publisher icon bigbn

Add custom fonts

Open JoohanV opened this issue 5 years ago • 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

JoohanV avatar Nov 12 '20 20:11 JoohanV

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

bigbn avatar Nov 30 '20 12:11 bigbn

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

https://github.com/bigbn/drop-down-terminal-x/blob/5ff1dca621942ecefebfd7d06cb2b35faa0711ee/drop-down-terminal-x%40bigbn.pro/terminal.js#L948 change it to:

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

nvdl avatar Jan 07 '21 23:01 nvdl

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

koolskateguy89 avatar Feb 14 '21 19:02 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)

koolskateguy89 avatar Feb 15 '21 15:02 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)

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

nvdl avatar Feb 15 '21 21:02 nvdl