>>>>> "John" == John Spray <[EMAIL PROTECTED]> writes:
John> On Fri, 2004-10-22 at 13:49, Jean-Marc Lasgouttes wrote: >> Also, this status() method returns the right value for a submenu >> too. Therefore submenuDisabled is not needed at all. John> Wonderful! This makes the code much shorter. John> I'll commit the attached patch if nobody objects. You should also get rid of this one: case MenuItem::Command: { FuncStatus const flag = view_->getLyXFunc().getStatus(i->func()); JMarc