On Thu, Feb 10, 2000 at 10:16:12AM +0000, Nick Lamb <[EMAIL PROTECTED]> wrote:
> It's not a gratuitous change, but I'm not going to defend it to the
> death if people object.

Well, I see your point now. I would not object to do this in 1.2 (but only
then, since it is yet another menu shortcoming of gtk+), since it works
around a bug that we cannot fix otherwise (I believe).

-- 
      -----==-                                             |
      ----==-- _                                           |
      ---==---(_)__  __ ____  __       Marc Lehmann      +--
      --==---/ / _ \/ // /\ \/ /       [EMAIL PROTECTED] |e|
      -=====/_/_//_/\_,_/ /_/\_\       XX11-RIPE         --+
    The choice of a GNU generation                       |
                                                         |

Reply via email to