--- l Tue Nov 16 12:23:10 1999 +++ l2 Tue Nov 16 12:23:00 1999 @@ -1279,9 +1279,9 @@ if( XtIsRealized(t) && w != tw->tabs.hilight ) { - if( tw->tabs.hilight != NULL ) + if( tw->tabs.hilight != NULL && XtIsRealized (tw->tabs.hilight)) DrawHighlight(tw, tw->tabs.hilight, True) ; - if( w != NULL ) + if( w != NULL && XtIsRealized (w)) DrawHighlight(tw, w, False) ; }