>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Fri, Jun 14, 2002 at 03:36:43PM +0200, Jean-Marc Lasgouttes John> wrote: >> I'd rather see a Layout>Inset... which would work better with the >> other Layout menu things. Angus sent a patch creating this lfun a >> couple months ago, I think. John> "Layout" is a good place to make something unfindable. "Inset" John> is even better. The notion that a section title would somehow be John> an "Inset" is nuts, never mind table, reference, label, or John> margin note The problem then is that we should have the menu title change depending on what is under the cursor, and this is a bit difficult to do in the current menu code. Edit>Properties is not very good either... JMarc
