Re: [PATCH] Bug 3477: Annoying Shortcut Issue with Converters

2007-06-14 Thread José Matos
On Thursday 14 June 2007 19:13:18 Richard Heck wrote: > The attached simple patch addresses this bug. The problem is detailed > there: http://bugzilla.lyx.org/show_bug.cgi?id=3477. > > OK to commit? > > Richard OK. -- José Abílio

[PATCH] Bug 3477: Annoying Shortcut Issue with Converters

2007-06-14 Thread Richard Heck
The attached simple patch addresses this bug. The problem is detailed there: http://bugzilla.lyx.org/show_bug.cgi?id=3477. OK to commit? Richard -- == Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brow