At 12:35 PM 1/17/00 -0500, Raymond Toy wrote:
In case it matters, gdb says tw->tabs.hilight is:
$7 = {core = {self = 0x19cf600, widget_class = 0x19cf800, parent =
0x1a1d98c,
xrm_name = 27384372,
being_destroyed = 1 '\001', destroy_callbacks = 0x0,
constraints =
0x19cff20, x = 1, y = 47,
Ah ha! SO my suspicion was correct. The highlight tab is already being
destroyed when it is unhighlighted - hence the crash.
I should be able to cook up a guestimate patch.
andy
--------------------------------------------------------------
Dr Andy Piper
Senior Consultant Architect, BEA Systems Ltd