Page 1 of 1
How do we change JWM's menu font? [SOLVED]
Posted: Mon Feb 13, 2023 7:51 am
by houndstooth
Luck runs changing fonts with the GTK tool. Otherwise I see jwmrc-theme in /root/.jwm with <Font> tags all set to Sans-10.
I see no font change manually editing this setting, though the colors manipulate well.
Is there another location to change JWM menu & tray fonts?
Re: How do we change JWM's menu font?
Posted: Mon Feb 13, 2023 11:06 am
by bigpup
What specific Puppy Linux version?
Re: How do we change JWM's menu font?
Posted: Mon Feb 13, 2023 12:23 pm
by houndstooth
It was an older pup not Fossa. Does it make a difference?
I've only seen the same font.
Since I posted I tried the template file that makes .jwmrc with no dice. I see also the -personal files that do not include fonts.
Re: How do we change JWM's menu font?
Posted: Mon Feb 13, 2023 12:48 pm
by HerrBert
/root/.jwm/jwmrc-theme is the right place to change jwm's font.
What is important is to
To get a list of installed fonts and their names run fc-list
in a terminal.
Code: Select all
# fc-list
/usr/share/fonts/TTF/DejaVuSans-BoldOblique.ttf: DejaVu Sans:style=Bold Oblique
/usr/share/fonts/TTF/DymoFontInvers.ttf: DymoFontInvers:style=Regular
/usr/share/fonts/TTF/DejaVuSansMono.ttf: DejaVu Sans Mono:style=Book
/usr/share/fonts/TTF/DejaVuSansMono-Oblique.ttf: DejaVu Sans Mono:style=Oblique
/usr/share/fonts/TTF/DejaVuSans-Oblique.ttf: DejaVu Sans:style=Oblique
/usr/share/fonts/TTF/Bauhaus_.ttf: Bauhaus:style=Regular
/usr/share/fonts/TTF/ChanticleerRomanNF.ttf: Chanticleer Roman NF:style=Regular
/usr/share/fonts/TTF/DejaVuSans.ttf: DejaVu Sans:style=Book
/usr/share/fonts/TTF/DejaVuSans-Bold.ttf: DejaVu Sans:style=Bold
If, for example, you want to use a bold monospace font of size 12 you can write <Font>DejaVu Sans Mono-12:bold</Font>
Re: How do we change JWM's menu font?
Posted: Mon Feb 13, 2023 4:28 pm
by houndstooth
The font I chose is very subtle, but I think it's working.
Restarting JWM was not enough. X must be restarted, even though we can use new fonts elsewhere without restarting.
Powerful edit!
HerrBert wrote: ↑Mon Feb 13, 2023 12:48 pm
/root/.jwm/jwmrc-theme is the right place to change jwm's font.
What is important is to
To get a list of installed fonts and their names run fc-list
in a terminal.
Code: Select all
# fc-list
/usr/share/fonts/TTF/DejaVuSans-BoldOblique.ttf: DejaVu Sans:style=Bold Oblique
/usr/share/fonts/TTF/DymoFontInvers.ttf: DymoFontInvers:style=Regular
/usr/share/fonts/TTF/DejaVuSansMono.ttf: DejaVu Sans Mono:style=Book
/usr/share/fonts/TTF/DejaVuSansMono-Oblique.ttf: DejaVu Sans Mono:style=Oblique
/usr/share/fonts/TTF/DejaVuSans-Oblique.ttf: DejaVu Sans:style=Oblique
/usr/share/fonts/TTF/Bauhaus_.ttf: Bauhaus:style=Regular
/usr/share/fonts/TTF/ChanticleerRomanNF.ttf: Chanticleer Roman NF:style=Regular
/usr/share/fonts/TTF/DejaVuSans.ttf: DejaVu Sans:style=Book
/usr/share/fonts/TTF/DejaVuSans-Bold.ttf: DejaVu Sans:style=Bold
If, for example, you want to use a bold monospace font of size 12 you can write <Font>DejaVu Sans Mono-12:bold</Font>
Re: How do we change JWM's menu font?
Posted: Mon Feb 13, 2023 5:22 pm
by mikewalsh
@houndstooth :-
Over the years, since I always customise just about everything in my Pups, I've come to realise that not only must you use the correct font-names in .jwmrc-theme, you must also make sure you write them in the correct format.
The syntax for this has evolved over the years with newer builds of JWM. What worked for older Puppies will no longer play ball in newer ones......but a restart of "X" is essential.
Mike.