Re: Gnome MDI patch (take 2)

[George <jirka 5z com>]

On Thu, Mar 01, 2001 at 09:06:28AM -0800, Karl Nelson wrote:
> It appears that a patch I requested be applied immediately was never 
> applied.  Since everyone agreed it was a good patch whne I submitted 
> it is there any opjections to applying it now?
> 
> This patch is needed to make GNOME MDI usable to language bindings
> by changing the counting rule such that only menu items are counted
> for later removal.

Please commit to gnome-libs HEAD, I thought this has been comitted long time
ago (I vaguely remember the discussion around that)

George

-- 
George <jirka 5z com>
   History will be kind to me for I intend to write it.
                       -- Winston Churchill