Re: gutter fixes
At 10:45 AM 8/6/99 +0900, Stephen J. Turnbull wrote:
OK, yes, the flashing is fixed in the new one for both cases. I
gather from your discussion with Steve that the patch might cause
problems? Can you say what they might look like so I can look for
them?
The only situtation I can think of is if you put a very small window over
the gutter and then unmap it, the gutter might not redisplay.
Repainting the gutter still seems to clear an excessively large area
though.
I think this is a problem with the tab widget. When adding or removing tabs
from the widget they seem to all get squashed vertically before they sort
themselves out. I have told Ed Falk - but no reply as yet. Hell, we have
the code. If anyone knows about Xt widgets they could take a look....
andy
--------------------------------------------------------------
Dr Andy Piper
Senior Consultant Architect, BEA Systems Ltd