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
> stays with "Sans Regular 8 px".
OMG: I simply ignored the "Select" button in the upper right corner and
always just clicked on the "Close" button in the lower right corner :-(
Sincerely,
Rainer
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
> stays with "Sans Regular 8 px".
OMG: I simply ignored the "Select" button in the upper right corner and
always just clicked on the "Close" button in the lower right corner :-(
Sincerely,
Rainer