mailing-list for TeXmacs Users

[Sam Liddicott <address@hidden>]

On Fri, Mar 16, 2012 at 9:08 AM, Sam Liddicott <address@hidden> wrote:

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

Something funny is going on.

And it's mostly in my head. Sorry for the noise.

Sam

 

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