[Lazarus] Editor font height in IDE options

[Martin]

On 09/08/2011 10:58, cobines wrote:
> 2011/8/9 Martin<lazarus at mfriebe.de>:
>> 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...
> I didn't use version. I load EditorFontHeight, if it doesn't exist I
> load EditorFontSize. On write I delete EditorFontHeight and write
> EditorFontSize.
>
ok, I will look at it, I am a bit tied up right now