mailing-list for TeXmacs Users

["Sam Liddicott" <address@hidden>]

Well that macro was a waste of time. The key-macro does the same thing: 
<key|a b c> is the same as my <keys|a|b|c>

I often feel that some of the informative chattiness is missing here, 
that one can find on the tex or lyx mailing lists. However I prefer that 
keys leaves a white-space between non-simple key-strokes as it makes 
long sequences more readable.

Maybe I'll hack "key" to do that.

Sam

On 24/06/11 09:33, Sam Liddicott wrote:
> Anyway, here is an xargs macro, like "key" which takes any number of 
> arguments, each being a key.
>
> Key's whose labels are more than one character are surrounded by 
> white-space.
>
> It makes it easier to specify long sequences of key-strokes.
>
> <assign|keys|<xmacro|args|<with|c|0|m|<length|<map-args|identity|tuple|args>>|<while|<less|<value|c>|<value|m>>|<if|<greater|<value|c>|0>|<if|<greater|<length|<arg|args|<value|c>>>|1>| 
>
> >><key|<arg|args|<value|c>>><if|<less|<plus|<value|c>|1>|<value|m>>|<if|<and|<greater|<length|<arg|args|<value|c>>>|1>|<not|<greater|<length|<arg|args|<plus|<value|c>|1>>>|1>>>| 
>
> >><assign|c|<plus|<value|c>|1>>>>>>
>
> Sam