1 |
Greetings, |
2 |
|
3 |
On Tuesday, 2022-11-29 17:03:18 +0100, I myself wrote: |
4 |
|
5 |
> ... |
6 |
> after upgrading "xfce-base/xfce4-panel" from version 4.17.3 to 4.17.4 my |
7 |
> digital clock uses a tiny font which I cannot change. Whatever font and |
8 |
> font size I select in its "Property" dialog is ignored. It stubbornly |
9 |
> stays with "Sans Regular 8 px". |
10 |
|
11 |
OMG: I simply ignored the "Select" button in the upper right corner and |
12 |
always just clicked on the "Close" button in the lower right corner :-( |
13 |
|
14 |
Sincerely, |
15 |
Rainer |