12 May
2006
12 May
'06
10: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