
12 May
2006
12 May
'06
8:55 a.m.
"Tobias C. Rittweiler" <tcr@freebits.de> writes:
I implemented the macroexpansion stack that I talked about several month ago. With the attached patch, it's possible to press `l' (for "last", like in the inspector) to get to the same content as of the previous macroexpansion buffer, for example, after an in-place expansion.
Does undo not work for you in the macroexpansion buffer? If it does not, it should be fixed. -- Matthias Köppe -- http://www.math.uni-magdeburg.de/~mkoeppe