Re: math-macro and inline editing

2007-02-15 Thread Stefan Schimanski
>> Why isn't LyX using my preview definition for the macro with some >> placeholder boxes as the arguments? > > Navigation between the arguments is non-obvious. > Macro arguments can be used more than once. But as I understand the second part of the macro is the editing template. That uses a "

Re: math-macro and inline editing

2007-02-15 Thread Jean-Marc Lasgouttes
> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes: >> Why isn't LyX using my preview definition for the macro with some >> placeholder boxes as the arguments? Andre> Navigation between the arguments is non-obvious. Macro Andre> arguments can be used more than once. We could decide that o

Re: math-macro and inline editing

2007-02-15 Thread Andre Poenitz
On Thu, Feb 15, 2007 at 01:54:06PM +0100, Jean-Marc Lasgouttes wrote: > It used to do that, but this was changed in 1.3.x (I think). 1.2 with the math rewrite (I think) > One particular problem (which could be avoided) was to know what to do > when for example #1 is used twice. This did not work

Re: math-macro and inline editing

2007-02-15 Thread Andre Poenitz
On Thu, Feb 15, 2007 at 11:24:23AM +, Stefan Schimanski wrote: > Everything looks great until I try to edit the arguments of the > macro: LyX jumps into a third representation with several line > prefixed with #1, #2 to enter the arguments. Is it supposed to work > like that? Sort of,

Re: math-macro and inline editing

2007-02-15 Thread Jean-Marc Lasgouttes
> "Stefan" == Stefan Schimanski <[EMAIL PROTECTED]> writes: Stefan> Everything looks great until I try to edit the arguments Stefan> of the macro: LyX jumps into a third representation with Stefan> several line prefixed with #1, #2 to enter the arguments. Is Stefan> it supposed to work li

math-macro and inline editing

2007-02-15 Thread Stefan Schimanski
Hi! I want to make heavy use of math-macros to create type inference rules using proof.sty. I defined some macros using the \frac construct in the right box of the math-macro definition as preview, with several arguments #1, #2, ... In the left box I use the corresponding commands from proof.s