[QScintilla] Font size on qscintilla editor

[Phil Thompson]

On 27/05/2014 5:16 pm, Andre Barros wrote:
> Hi,
> 
> I would like very much to have the font size on qscintilla to accept
> real numbers (with 0.1 precision) instead of just integers. Looking on
> the source code, it is clear that the foundation is already ready and
> there are things to change.
> 
> I went ahead and did the small changes (and tested) and it works.
> 
> Are there any reasons to use integer point size instead of the
> floating one? (I understand that some platforms may not cope with
> floating point and as so may be rounded on them)

I've applied most of it. I've changed the handling of the settings so 
that old and new versions will both work with old and new settings.

Thanks,
Phil