Re: Font.font() says it is point size but it looks like it are pixels

2014-01-16 Thread Alexander Kouznetsov
Tom, Could you please file a bug on this? Best regards, Alexander Kouznetsov (408) 276-0387 On 23 дек 2013 15:31, Tom Schindl wrote: Hi, The JavaDoc of Font.font says: -8- size - The point size of the font. This can be a fractional value, but must not be negative. If the size is 0

Font.font() says it is point size but it looks like it are pixels

2013-12-23 Thread Tom Schindl
Hi, The JavaDoc of Font.font says: -8- size - The point size of the font. This can be a fractional value, but must not be negative. If the size is 0 the default size will be used. -8- I highly doubt this is correct (see attached picture from Linux where you see native, qt and