[Lazarus] Editor font height in IDE options

[Reinier Olislagers]

On 8-8-2011 19:12, Martin wrote:
> On 08/08/2011 18:00, cobines wrote:
>> 2011/8/8 Martin<lazarus at mfriebe.de>:
>>> In other words, if the drop-down was size (instead of height) would
>>> it still
>>> be undesired?
>> If it was size it would be useful. It would be consistent to what you
>> set in the dialog and it would be less confusing because there would
>> be only one method of setting size.
<snip>
> AND under no circumstances should a change just reset about everybodies
> settings....
Why not? Lazarus is still in beta.

Why not simply provide a reasonable new default for the height and just
mention in the release notes that users have to set a new value if they
want to...

It's not like it's a breaking API change for the FCL....

My slightly pragmatic two cents,

Reinier