vim-55/src/gui_motif.c

1068  * Set the tearoff for one menu widget on or off, and set the color of the
1119     Dimension	margin, shadow;
1163 	XmNshadowThickness, &shadow,
1171      *		change with the font height.  Includes shadow-border.
1172      * shadow =	shadow-border; must be subtracted from the height.
1176     gui.menu_height = maxy + height - 2 * shadow + 2 * margin + 4;
1585 		 * so that the background color is right. */
2503     XpmColorSymbol	color[5] =
2516      * no way to get the background color directly from the widget itself.
2524 		  XmNbackground, &color[0].pixel,
2525 		  XmNforeground, &color[1].pixel,
2526 		  XmNbottomShadowColor, &color[2].pixel,
2527 		  XmNtopShadowColor, &color[3].pixel,
2528 		  XmNhighlight, &color[4].pixel,
2532     attr.colorsymbols = color;
2931     Dimension	shadow;		    /* XmNshadowThickness */
2937 	    XmNshadowThickness, &shadow,
2940     return (int) height + top + bottom + (shadow << 1);