- redraw_end_xfade_to (ar, width, points, effective_height);
-
- /* fill the polygon*/
-
- /* add 3 more points */
-
- points.push_back (Duple());
- points.push_back (Duple());
- points.push_back (Duple());
-
- /* fold back */
-
- points[pi].x = _pixel_width;
- points[pi].y = effective_height;
- pi++;
-
- points[pi].x = _pixel_width;
- points[pi].y = 2;
- pi++;
-
- /* connect the dots ... */
-
- points[pi] = points[0];
+ redraw_end_xfade_to (ar, width, points, effective_height, handle_right, pwidth-1);