[Lazarus] Editor font height in IDE options

[Martin]

On 08/08/2011 20:46, cobines wrote:
> 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.
>
the editor option files has version numbers.

it only gets new written, if the user makes achange.

the loader must always be able to load the old version, and convert.

But if a user does change his options, then it should write size...