comparison src/gui_xmebw.c @ 1757:f10fe14748e2 v7.2.055

updated for version 7.2-055
author vimboss
date Fri, 28 Nov 2008 20:29:07 +0000
parents c7654c4db8fd
children fc89a4f98a8b
comparison
equal deleted inserted replaced
1756:5fafc42c22d2 1757:f10fe14748e2
1254 ->primitive_class.border_highlight))(w); 1254 ->primitive_class.border_highlight))(w);
1255 draw_pixmap(eb, event, region); 1255 draw_pixmap(eb, event, region);
1256 } 1256 }
1257 else 1257 else
1258 { 1258 {
1259 int adjust = 0; 1259 adjust = 0;
1260 1260
1261 #if !defined(LESSTIF_VERSION) && (XmVersion > 1002) 1261 #if !defined(LESSTIF_VERSION) && (XmVersion > 1002)
1262 /* 1262 /*
1263 * NOTE: PushButton has two types of shadows: primitive-shadow and 1263 * NOTE: PushButton has two types of shadows: primitive-shadow and
1264 * default-button-shadow. If pushbutton is in a menu only primitive 1264 * default-button-shadow. If pushbutton is in a menu only primitive
1266 */ 1266 */
1267 switch (default_button_emphasis) 1267 switch (default_button_emphasis)
1268 { 1268 {
1269 case XmEXTERNAL_HIGHLIGHT: 1269 case XmEXTERNAL_HIGHLIGHT:
1270 adjust = (eb->primitive.highlight_thickness - 1270 adjust = (eb->primitive.highlight_thickness -
1271 (eb->pushbutton.default_button_shadow_thickness ? 1271 (eb->pushbutton.default_button_shadow_thickness
1272 Xm3D_ENHANCE_PIXEL : 0)); 1272 ? Xm3D_ENHANCE_PIXEL : 0));
1273 break; 1273 break;
1274 1274
1275 case XmINTERNAL_HIGHLIGHT: 1275 case XmINTERNAL_HIGHLIGHT:
1276 adjust = 0;
1277 break; 1276 break;
1278 1277
1279 default: 1278 default:
1280 assert(FALSE); 1279 assert(FALSE);
1281 return; 1280 return;