Matthias Koeppe <mkoeppe+slime at merkur.math.uni-magdeburg.de> writes: > The patch below fixes this bug by separating all "action" buttons by > whitespace without the `highlight' text property. Thanks. Patch committed. Helmut.