| 1381 | } |
| 1382 | |
| 1383 | void stroke_long( canvas &that, float width, float height ) |
| 1384 | { |
| 1385 | that.set_color( stroke_style, 0.0f, 0.0f, 0.0f, 1.0f ); |
| 1386 | for ( float step = 0.0f; step <= 29.0f; step += 1.0f ) |
| 1387 | { |
| 1388 | that.move_to( 0.4f * width, -23.0f * height ); |
| 1389 | that.line_to( width * step / 29.0f, height ); |
| 1390 | that.move_to( -23.0f * width, 0.4f * height ); |
| 1391 | that.line_to( width, height * step / 29.0f ); |
| 1392 | } |
| 1393 | that.stroke(); |
| 1394 | } |
| 1395 | |
| 1396 | void clip( canvas &that, float width, float height ) |
| 1397 | { |