Re: Has anybody got a tool for manipulating dribble files?

[Stefan Monnier]

> This function reads a dribble file and creates a keyboard macro from
> it.  It is heuristic in nature.  You cannot tell the difference between

We should change the code in record_char so as to write an unambiguous
format.  E.g. write the space key as " SPC" and add a space in front of
the "<...>" symbols.
Tho a (more verbose) alternative is to use the same format as used
within the [...] vector of a keyboard macro, so you can just add "[" at
the front and "]" at the back and parse it with `read'.


        Stefan