By looking at a previous version that worked and comparing it to the
one that didn't, I found this (even more perplexing) workaround:
DOM.setStyleAttribute(topLevelAbsolutePanel.getElement(),
"fontFamily", "");
Since "" was the "use the default" font family I was using anyway,
this is a do-nothing line. In IE7, however, it apparently somehow
forces a repaint, I guess. The (presumed IE7, and by browser-bug-
inheritance, GWT bug) was triggered when I reorganized the code so
that the above line didn't get executed if it didn't need to be (so,
now, I guess I have to un-reorganize, or, "defacto" it).
I don't fully trust this workaround since the problem might reappear
if IE7 changes in a way that makes it "smarter" and doesn't force a
repaint with such a do-nothing font-family change. For example, other
top level setStyleAttribute do-nothing changes I tried (border,
background-color, etc.) didn't fix the problem.
If anyone knows what's going on here or has a more reliable and
intelligible way to get IE7 to repaint in such situations, please
reply.
John