[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]

I have seen zwei leave some underlining on the screen
when it gets rid of the mark.  I verified that the mark
was really gone, and, in any case, whan I move point
the underlining does not change, so I think that
zwei doesn't know that the underlining is there.