Re: Wimp tab rendering patch

[Arnaud Charlet <charlet adacore com>]

> When the tabs are on the left, right, or bottom then the results are
> worse.

Right, that's the main issue with this patch. Strange that I get not so
good results even with top tabs.

> The bug #399253 is, I think, a separate issue.. that happens
> when the notebook receives expose events or something.  As it is right
> now (without your patch), the tabs look pretty decent when they're first
> drawn or when the entire widget exposes.. but when it receives partial
> expose events it gets really screwed up.  I tried looking into that, but
> didn't put much time into it.

In the mean time, I've reverted the draw_extension function in msw_style.c
to what it was in Gtk+ 2.8.20 to avoid this very annoying (to us) glitch,
seems to be good enough for now, and certainly better than having bad redraws.

Arno