updated for version 7.2-055
diff --git a/src/gui_xmebw.c b/src/gui_xmebw.c
index 77b59c2..3e134ce 100644
--- a/src/gui_xmebw.c
+++ b/src/gui_xmebw.c
@@ -1256,7 +1256,7 @@
}
else
{
- int adjust = 0;
+ adjust = 0;
#if !defined(LESSTIF_VERSION) && (XmVersion > 1002)
/*
@@ -1268,12 +1268,11 @@
{
case XmEXTERNAL_HIGHLIGHT:
adjust = (eb->primitive.highlight_thickness -
- (eb->pushbutton.default_button_shadow_thickness ?
- Xm3D_ENHANCE_PIXEL : 0));
+ (eb->pushbutton.default_button_shadow_thickness
+ ? Xm3D_ENHANCE_PIXEL : 0));
break;
case XmINTERNAL_HIGHLIGHT:
- adjust = 0;
break;
default: