On Wed, Nov 12, 2014 at 7:07 AM, Richard Heck <rgh...@lyx.org> wrote: > On 11/12/2014 11:06 AM, Alfredo Braunstein wrote: >> >> As the choices are exclusive, shouldn't this be a radio button instead >> of individual checkmarks? In this way it would be self explanatory -- >> or I am missing the point completely? > > > Yes, this would be even better. But that would involve more surgery.
Indeed, this would be nice. Scott
