diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp index 8b613794df..2c166a4adb 100644 --- a/src/frontends/qt4/GuiApplication.cpp +++ b/src/frontends/qt4/GuiApplication.cpp @@ -2584,8 +2584,10 @@ QFont const GuiApplication::typewriterSystemFont() QFont font("monospace"); #endif if (!isFixedPitch(font)) { +#if QT_VERSION >= 0x040700 // try to enforce a real monospaced font font.setStyleHint(QFont::Monospace); +#endif if (!isFixedPitch(font)) { font.setStyleHint(QFont::TypeWriter); if (!isFixedPitch(font)) font.setFamily("courier");