I just installed 8940 and noticed that the background color isn't being
repainted properly. I have a different background color for files that are
read-only and when I make the file read-write, it only repaints part of the
background, leaving part of the file with a read-only color and part with
the normal (read-write) color. Similar problem when I do the reverse. If I
click to another tab and then come back, it's painted properly.
This is an interesting regression, have there been changes to the repaint
manager or something?