User-Agent:       Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9) Gecko/2008061015 Firefox/3.0
Build Identifier: 

This problem shows up when using 7.5 size fonts.  Even if I check the "Use
system font size" in Desktop Preferences, the font size is really not the 
same as the xfce application font.  For some reason (bug?) if I choose "7"
system font size, then the application and desktop fonts are shown both with
a "7" size.  If I choose size 8, then both Desktop and applications are     
shown on size 8.  However, when I pick 7.5 as the system font (this is what 
I want), then applications are shown with font 7.5, but the Desktop is shown
with 7.

For the record, I am using Xubuntu 8.0.4.1, DPI set at 96, and the freely
distributable MS Tahoma font, without anti-aliasing, but I have tested this 
bug report with Deja Vu Sans, and the problem is also present in that case.
The Desktop does not render 7.5-point fonts, but rather 7-point fonts, when
the system-wide font is set at 7.5.

I have noticed that the Desktop preferences window has a "custom font size" 
field that only allows integer values.  If I enter a 7.5 font size, I can't 
because the "." is not allowed in that field.  However, the system font size
(in the "user interface preferences" window) does allow the user to enter a
7.5 size for the font.

On a side note, I am using xfce from Xubuntu 8.0.4.1.  I have also noticed
that Gnome (GTK) applications are rendered with a different font size than
the xfce system wide setting (about 0.5 smaller than the xfce setting).  I  
understand this is a separate issue, related to xfce-gnome integration, most
probably.  I will report this issue in Xubuntu.


Reproducible: Always

Steps to Reproduce:
1. Set system-wide font at 7.5
2. Set Desktop font as "use system font size"
3. Observe that Desktop icons font size and xfce applications font size are different.