comparison: src/glRenderer.cpp
src/glRenderer.cpp
- changeset 1015
- 92c6ec099075
- parent 1014
- f0a8ecb6a357
- child 1017
- fc1c13db9618
equal
deleted
inserted
replaced
| 1014:f0a8ecb6a357 | 1015:92c6ec099075 |
|---|---|
| 688 | 688 |
| 689 // Draw a label for the current camera in the bottom left corner | 689 // Draw a label for the current camera in the bottom left corner |
| 690 { | 690 { |
| 691 const int margin = 4; | 691 const int margin = 4; |
| 692 painter.setPen (textPen()); | 692 painter.setPen (textPen()); |
| 693 painter.drawText (QPoint (margin, height() - (margin + metrics.descent())), currentCameraName()); | 693 painter.drawText (QPoint (margin, height() - margin - metrics.descent()), currentCameraName()); |
| 694 | |
| 695 if (m_document) | |
| 696 { | |
| 697 painter.drawText(QPoint(margin, height() - margin - metrics.height() - metrics.descent()), | |
| 698 format("△ %1", m_document->triangleCount())); | |
| 699 } | |
| 694 } | 700 } |
| 695 | 701 |
| 696 // Tool tips | 702 // Tool tips |
| 697 if (m_drawToolTip) | 703 if (m_drawToolTip) |
| 698 { | 704 { |
