src/glRenderer.cpp

changeset 1015
92c6ec099075
parent 1014
f0a8ecb6a357
child 1017
fc1c13db9618
--- a/src/glRenderer.cpp	Fri Jan 01 23:41:55 2016 +0200
+++ b/src/glRenderer.cpp	Sat Feb 13 04:06:49 2016 +0200
@@ -690,7 +690,13 @@
 		{
 			const int margin = 4;
 			painter.setPen (textPen());
-			painter.drawText (QPoint (margin, height() - (margin + metrics.descent())), currentCameraName());
+			painter.drawText (QPoint (margin, height() - margin - metrics.descent()), currentCameraName());
+
+			if (m_document)
+			{
+				painter.drawText(QPoint(margin, height() - margin - metrics.height() - metrics.descent()),
+					format("△ %1", m_document->triangleCount()));
+			}
 		}
 
 		// Tool tips

mercurial