Re: bug#25: frame parameter menu-bar-lines changes height of frame

[Stefan Monnier]

>> > Now, this has simply been downgraded to "wishlist" - poof!  Dommage.
>> It is not a downgrade, it is a categorization.
> Strictly speaking, since this is the first time it has been categorized (the
> categories are new), you are correct.

> However, relative to what was discussed about this in the past, it is a
> downgrade, IMO. It was not previously characterized as "wishlist", but as
> something that should be done after the imminent release.

Yes, it's something that should be done as soon as possible.
But nobody has stepped forward to do it.  And nobody has made a case
that this is an important bug to fix.  So it's a wishlist item, waiting
for a generous soul.


        Stefan