+ Widget borderWidget = NULL;
+
+ // Decorate the label widget if a border style is specified.
+ if (style & wxSIMPLE_BORDER)
+ {
+ borderWidget = XtVaCreateManagedWidget
+ (
+ "simpleBorder",
+ xmFrameWidgetClass, parentWidget,
+ XmNshadowType, XmSHADOW_ETCHED_IN,
+ XmNshadowThickness, 1,
+ NULL
+ );
+ } else if (style & wxSUNKEN_BORDER)
+ {
+ borderWidget = XtVaCreateManagedWidget
+ (
+ "sunkenBorder",
+ xmFrameWidgetClass, parentWidget,
+ XmNshadowType, XmSHADOW_IN,
+ NULL
+ );
+ } else if (style & wxRAISED_BORDER)
+ {
+ borderWidget = XtVaCreateManagedWidget
+ (
+ "raisedBorder",
+ xmFrameWidgetClass, parentWidget,
+ XmNshadowType, XmSHADOW_OUT,
+ NULL
+ );
+ }
+