Since some days, all the fonts are very small and I have to do Ctrl + '+' two or three times since they get legible. After doing that, text has a nice size, but buttons' text is too big. It happens whatever font I use ('Western' and 'User defined', mainly). 2003012522, for example, has this problem (on Linux). See screenshot...
alecf, could this be related to the properties file problems?
did you set the font size pref to 11 (as shown in the screenshot)? that's really small and the results are exactly what they should be. the default is 16/12. if you didn't set it to 11, can you set it back to 16/12 and have it work?
It's the same; I put it to 16/12/12 and I see exactly the same font sizes. The values remain after I restart Mozilla (I continue seeing 16, 12 and 12).
I found the solution: creating a new profile did load the default values, where the fonts are at the correct size. If anyone else has this problem, this bug can be closed.
It was sure my fault; sorry for the waste of time. Marking INVALID.
Status: UNCONFIRMED → RESOLVED
Last Resolved: 15 years ago
Resolution: --- → INVALID
Old profiles should continue to work. You shouldn't need to make new ones.
Yes, but I didn't understand how fonts worked: I was changing sizes for 'User Defined' although all I loaded pages with 'Western' encoding. It won't happen again...
You need to log in before you can comment on or make changes to this bug.