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

[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 anything relevant and new.  Is anybody
else using the digital clock in "xfce4-panel"?

Sincerely,
  Rainer