After f19 update, fonts on panel are large

[Neal Becker]

Neal Becker wrote:

> Ed Greshko wrote:
> 
>> On 07/03/13 09:18, Neal Becker wrote:
>>> I wonder why the fonts are now so large (and ugly) on the panel (e.g.,
>>> clock) after I just updated to f19?
>> 
>> FYI, I fedup'd a F18 system to F19 and nothing has changed for me.  All fonts
>> and icons appear as they did prior to the upgrade.
>> 
> 
> Perhaps some startup race condition?  On logout/login it seems normal, but I
> did change the "Taskbar" font to sans serif 9 (everything had been set to 10)
> 

After reboot, the problem is back.  Repeated logout/login doesn't fix it.  DPI 
is reported by xdpyinfo correctly (115x115).

I assume that under font settings, it is 'taskbar' font that controls the size 
of fonts on the panel such as clock and task manager?