[Lazarus] Editor font height in IDE options

[cobines]

2011/8/8 Martin <lazarus at mfriebe.de>:
> 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