Re: Default font has size 12pixels when requested 13pixels

[Jason Rumney]

Kenichi Handa wrote:
> > Jason Rumney wrote:
> >     
> > > This sounds similar to the problem I was having a couple of weeks back, 
> > >       
> Are these problems fixed too?
>   
The bug on Windows is fixed, though I'm not sure that the fix of 
encoding the size into font->full_name is the best one, since the font 
is already open - why do we need to convert it to a string 
representation and reopen it?