Adapt font size behaviour to original plib font.

Original plib 'Helvetica 12' reported point size "13". Stick with this to
keep backward compatibility of GUI layouts.

diff --git a/src/GUI/fonts.cxx b/src/GUI/fonts.cxx
index c9d84ecb9cf748aefcad8b6f928d9aa7c7468eee..6b7b858fdab87a3953d3468b3a276d0276afd3ee 100644 (file)
--- a/src/GUI/fonts.cxx
+++ b/src/GUI/fonts.cxx
@@ -837,4 +837,4 @@ static fntBitmapFont fntHelvetica12(FontHelvetica12.Characters, 1,
 
 puFont FONT_HELVETICA_14(&fntHelvetica14, 14, 0);
 puFont FONT_SANS_12B(&fntSans12B, 12, 0);
-puFont FONT_HELVETICA_12(&fntHelvetica12, 12, 0);
+puFont FONT_HELVETICA_12(&fntHelvetica12, 13 /*[sic!]*/, 0); /* Original plib Helvetica 12 font also reported size 13, instead of 12 */