search

bigbn / drop-down-terminal-x

Drop Down Terminal X extension for the Gnome Shell
https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
GNU General Public License v3.0
92 stars 9 forks source link

Add custom fonts #87

Open JoohanV opened 3 years ago

JoohanV commented 3 years ago

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 3 years ago

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 3 years ago

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

koolskateguy89 commented 3 years ago

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

koolskateguy89 commented 3 years ago

@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 3 years ago

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