I have committed the attached patch. I don't know why it was working
with Qt3. Another bug smashed in Qt4, I think.
--
Enrico
Use a larger font for displaying the version number on the splash screen
* src/frontends/qt4/GuiWorkArea.C
(GuiWorkArea::doGreyOut): don't use LyXFont::SIZE_XXXX directly as
a font size as these are enum values and not the actual sizes.
Move the version number slightly to the right to make it more
readable against the splash screen.
Index: src/frontends/qt4/GuiWorkArea.C
===================================================================
--- src/frontends/qt4/GuiWorkArea.C (revision 16352)
+++ src/frontends/qt4/GuiWorkArea.C (working copy)
@@ -31,6 +31,7 @@
#include "support/filetools.h" // LibFileSearch
#include "support/os.h"
+#include "support/convert.h"
#include "graphics/GraphicsImage.h"
#include "graphics/GraphicsLoader.h"
@@ -487,7 +488,7 @@ void GuiWorkArea::doGreyOut(QLPainter &
// The font used to display the version info
font.setStyleHint(QFont::SansSerif);
font.setWeight(QFont::Bold);
- font.setPointSize(LyXFont::SIZE_NORMAL);
+ font.setPointSize(convert<int>(lyxrc.font_sizes[LyXFont::SIZE_LARGE]));
int const w = pm.width();
int const h = pm.height();
@@ -497,7 +498,7 @@ void GuiWorkArea::doGreyOut(QLPainter &
pain.drawPixmap(x, y, pm);
- x += 260;
+ x += 300;
y += 265;
pain.setPen(QColor(255, 255, 0));
