XtOffsetOf(RectObjRec,rectangle.border_width), XtRImmediate, (XtPointer)0},
{XtNtopWidget, XtCTopWidget, XtRWidget, sizeof(Widget),
offset(topWidget), XtRImmediate, NULL},
+ {XtNhighlightWidget, XtCHighlightWidget, XtRWidget, sizeof(Widget),
+ offset(hilight), XtRImmediate, NULL},
{XtNcallback, XtCCallback, XtRCallback, sizeof(XtPointer),
offset(callbacks), XtRCallback, NULL},
{XtNpopdownCallback, XtCCallback, XtRCallback, sizeof(XtPointer),
if( tw->core.sensitive != curtw->core.sensitive )
needRedraw = True ;
+ /* Highlit widget changed */
+ if ( tw->tabs.hilight != curtw->tabs.hilight )
+ {
+ needRedraw = True ;
+ }
+
/* If top widget changes, need to change stacking order, redraw tabs.
* Window system will handle the redraws.
*/
if( tab->tabs.row != tw->tabs.numRows-1 )
TabsShuffleRows(tw) ;
+
needRedraw = True ;
}
else