2011/8/8 Martin <[email protected]>:
> As I said, the hold back, is to check on each widgetset, what affacts what,
> and what is stored in the options.
>
In config file there is EditorFontHeight. It is used in such contexts:
Font.Height:=EditorOpts.EditorFontHeight
XMLConfig.SetDeleteValue('EditorOptions/Display/EditorFontHeight'
,fEditorFontHeight, SynDefaultFontHeight);
To me it is clear it is always the font height saved to config file.
> Then to make sure all get moved to size => including NEWLY saved options.
> But to support any old setting and convert them correctly....
Conversion size<->height as far as I can see is in TFont.SetHeight()
and TFont.SetSize().
I'll make a patch so that there is something to test.
--
cobines
--
_______________________________________________
Lazarus mailing list
[email protected]
http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
