* painting errors I saw this a couple of times, but can't reproduce reliably: while typing into the middle of a paragraph, the new text is painted on top of the old, i.e. the old is not erased first. So the line gets very black after typing a word or two (this changes the interword spacing on the whole line, which is overlayed on top of the old line layout.) When the line breaking changes, the entire paragraph messes up the same way. Scrolling a little fixes everything.
Seeing the same for several weeks. But strangely not always. Stefan
