|
|
@@ -146,7 +146,7 @@ Control_Sequence::draw ( void ) |
|
|
|
fl_push_clip( x(), y(), w(), h() ); |
|
|
|
|
|
|
|
/* draw the box with the ends cut off. */ |
|
|
|
draw_box( box(), x() - Fl::box_dx( box() ), y(), w() + Fl::box_dw( box() ), h(), color() ); |
|
|
|
draw_box( box(), x() - Fl::box_dx( box() ), y(), w() + Fl::box_dw( box() ) + 1, h(), color() ); |
|
|
|
|
|
|
|
const int bx = x(); |
|
|
|
const int by = y() + Fl::box_dy( box() ); |
|
|
|