New NumberWidget

I have add a new Widget to the HUD's standard Widgets family. It is the NumberLabel, which is designed to render (dynamic) numbers in the most high performance way possible.

You can define the decimal-separator char and the number of fraction-digits.

In the near future I will modify the FPSCounter Widget to use/extend it, because it is twice as fast as the current FPSCounter implementation.

The NumberLabel is backed by a special Shape3D called NumberGeom, which is built of a TriangleStripArray with four vertices for each digit/sign/decimalpoint. Each time the value changes, the vertex coordinates and texture-coordinates are updated. If the used font is a monospace-font, the vertex-coordinates don't even need to be updated more than once. All unused vertices are disabled through the setValidVertexCount() setting.

Oh, and you have to define a maximum digit count, which is a forth of the number of available vertices. If the number is longer than the maximum number of digits, the most significant values ate cut off.

Marvin