>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:

Martin> I think this is about as good as it gets. I plan to commit
Martin> this evening, speak out now or forever hold your peace ;-)

Small details:

+Element
+       Name            Filename
+       LatexType       Command
+       LatexType       Command
+       LatexName       filename
+       Font
+               Family  Typewriter
+       EndFont
+       LabelFont
+               Shape   Italic
+               Color   red
+       EndFont
+End

You have LatexType twice.

To make it looks like Style, why not do

Element Filename
...
End

JMarc

Reply via email to