[gentoo-user] [SOLVED] Re: Clock font in "xfce-base/xfce4-panel" version 4.17.4

2022-11-29 Thread Dr Rainer Woitok
Greetings, On Tuesday, 2022-11-29 17:03:18 +0100, I myself wrote: > ... > after upgrading "xfce-base/xfce4-panel" from version 4.17.3 to 4.17.4 my > digital clock uses a tiny font which I cannot change. Whatever font and > font size I select in its "Property" dialog is ignored. It stubbornly

[gentoo-user] Re: Clock font in "xfce-base/xfce4-panel" version 4.17.4

2022-11-29 Thread Holger Hoffstätte
On 2022-11-29 17:03, Dr Rainer Woitok wrote: Greetings, after upgrading "xfce-base/xfce4-panel" from version 4.17.3 to 4.17.4 my digital clock uses a tiny font which I cannot change. Whatever font and font size I select in its "Property" dialog is ignored. It stubbornly stays with "Sans

[gentoo-user] Clock font in "xfce-base/xfce4-panel" version 4.17.4

2022-11-29 Thread Dr Rainer Woitok
Greetings, after upgrading "xfce-base/xfce4-panel" from version 4.17.3 to 4.17.4 my digital clock uses a tiny font which I cannot change. Whatever font and font size I select in its "Property" dialog is ignored. It stubbornly stays with "Sans Regular 8 px". Searching the web did not turn up