i think it's time to report a bug i am bothered by for a long time

I don't like "bold" for "File list font",so i always switch it to "Standard" in Configuration / Options / Display / Font /file list font. As long as i do not boot windows this setting is persistent. After booting windows, the font is always displayed in bold. The interesting thing is, that sometimes also the setting is switched back to bold ("Fett"), sometimes it "Standard"- regardless the file list is displayed in bold font. I have seen the same behaviour on all my systems (xp, win7) the last 4-5 years.
This bug would fix the only thing bothering me. Having TC for OS-X is the only thing i'm still missing

Thanks a lot!
fritz