comparison: src/gldraw.cc
src/gldraw.cc
- changeset 622
- 622c49e60348
- parent 620
- ce4f42dcf0c3
- child 626
- f3c01a033e9e
equal
deleted
inserted
replaced
| 621:928365840d0d | 622:622c49e60348 |
|---|---|
| 672 paint.setPen (linepen); | 672 paint.setPen (linepen); |
| 673 drawBlip (paint, blip); | 673 drawBlip (paint, blip); |
| 674 | 674 |
| 675 // Draw their coordinates | 675 // Draw their coordinates |
| 676 paint.setPen (textpen); | 676 paint.setPen (textpen); |
| 677 paint.drawText (blip.x(), blip.y() - 8, poly3d[i].stringRep (true)); | 677 paint.drawText (blip.x(), blip.y() - 8, poly3d[i].toString (true)); |
| 678 } | 678 } |
| 679 | 679 |
| 680 // Draw line lenghts and angle info if appropriate | 680 // Draw line lenghts and angle info if appropriate |
| 681 if (numverts >= 2) | 681 if (numverts >= 2) |
| 682 { | 682 { |
