Re: [slime-devel] Tiny patch for the SLIME inspector

Matthias Koeppe <mkoeppe+slime@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.