fltk widget types are not bits

1 files changed, 2 insertions, 1 deletions

diff --git a/dw/fltkui.cc b/dw/fltkui.cc
index f8f3e0f0..aba6e1fe 100644
--- a/dw/fltkui.cc
+++ b/dw/fltkui.cc
@@ -193,7 +193,8 @@ void FltkResource::setWidgetStyle (::fltk::Widget *widget,
       widget->color(normal_bg);
       widget->buttoncolor(normal_bg);
       widget->selection_textcolor(normal_bg);
-      if (!(widget->type() & (::fltk::Widget::RADIO|::fltk::Widget::TOGGLE))) {
+      if (widget->type() != ::fltk::Widget::RADIO &&
+          widget->type() != ::fltk::Widget::TOGGLE) {
          /* it looks awful to highlight the buttons */
          widget->highlight_color(bg->colors[FltkColor::SHADING_LIGHT]);
       }