Re: [PATCH Bug 3794

2007-06-04 Thread José Matos
On Sunday 03 June 2007 22:49:51 Jean-Marc Lasgouttes wrote: > Richard> The attached patch does the greying out. OK to commit? > > OK for me. +1 -- José Abílio

Re: [PATCH Bug 3794

2007-06-03 Thread Jean-Marc Lasgouttes
> "Richard" == Richard Heck <[EMAIL PROTECTED]> writes: Richard> The attached patch does the greying out. OK to commit? OK for me. Richard> This leaves the question whether having both "Close" and Richard> "Close Window" is confusing. Stefan is right in what he says Richard> here: Close View

[PATCH Bug 3794

2007-06-03 Thread Richard Heck
Stefan Schimanski wrote: Am 02.06.2007 um 18:28 schrieb Richard Heck: Regarding this bug: http://bugzilla.lyx.org/show_bug.cgi?id=3794. It seems to me something needs to be done about this soon. The question is what. I'd propose doing two things: (i) The Close Window menu entry should be disa