mailing-list for TeXmacs Users

[Sam Liddicott <address@hidden>]

Gah! The "does work" example has stopped working for me.

Something funny is going on.

Sam

On Wed, Mar 14, 2012 at 12:07 PM, Sam Liddicott <address@hidden> wrote:

This is a simpler version of a previous question:

The quasi example at http://www.texmacs.org/tmweb/manual/webman-styling.en.html does not work, as the args of the "new-theorem" are not accessible within the editor.

I have this document based on that example:

<assign|new-thing|<\macro|name|text>

  <quasi|<assign|<unquote|<arg|name>>|<macro|body|<surround|<no-indent><strong|<unquote|<arg|text>>.

  >|<right-flush>|<arg|body>>>>>

</macro>>

<new-thing|zzzzz|\<gtr\>\<gtr\>\<gtr\>>

<zzzzz|hello>

And I find that I cannot place the caret within the new zzzzz environment unless I first place this code after the call to new-thing:

<drd-props|zzzzz|arity|1|accessible|all>

Instead a drd-props should be inserted inside the quasi tag. it is important that the arity also be given.

<assign|new-thing|<\macro|name|text>

  <quasi|<assign|<unquote|<arg|name>>|<macro|body|<surround|<no-indent><strong|<unquote|<arg|text>>.

  >|<right-flush>|<arg|body>>>><drd-props|<unquote|<arg|name>>|arity|1|accessible|all>>

</macro>>

I am not sure if it is intended that drd-props should be specified or if it should have been able to be derived.

This document DOES work properly:

<assign|new-thing|<\macro|name|text>

  <quasi|<assign|<unquote|<arg|name>>|<macro|body|<surround|<no-indent><strong|<unquote|<arg|text>>.

  >|<right-flush>|<arg|body>>>><drd-props|<unquote|<arg|name>>|zarity|1|accessible|all>>

</macro>>

<new-thing|xxx|\<gtr\>\<gtr\>\<gtr\>>

<xxx|hello>

Sam