>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Fri, Jun 14, 2002 at 03:51:25PM +0200, Jean-Marc Lasgouttes John> wrote: >> 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 John> Yes, we should. I think we should have the bottom of Edit-> be John> context-specific entries. That way the useless maths/tabular John> sub-menus won't be needed unless appropriate. Could you think of a nice way to do that at MenuBackend level? Maybe force every inset to have a name and use that to replace some $$Inset placeholder variable in the menuentry? John> It's a pity we have too many menus already, because I'd like to John> see a Tools that contains spell/thesaurus/checktex etc. We really should re-think the menu hierarchy JMarc
