Handle all numeric characters as fixed width, even in variable spaced fonts

This reduces jitter when numeric values change, such as in the
download status dialog.

diff --git a/src/video/font.cpp b/src/video/font.cpp
index 4185445..aeb2e20 100644 (file)
--- a/src/video/font.cpp
+++ b/src/video/font.cpp
@@ -202,7 +202,7 @@ Font::loadFontSurface(
       Glyph glyph;
       glyph.surface_idx   = surface_idx;
 
-      if( glyph_width_ == FIXED )
+      if( glyph_width_ == FIXED || isdigit(*chr) )
       {
         glyph.rect    = Rectf(x, y, x + char_width, y + char_height);
         glyph.offset  = Vector(0, 0);