Add OS version info to About box.

diff --git a/src/frontends/qt/GuiAbout.cpp b/src/frontends/qt/GuiAbout.cpp
index d4173fae8b45e60d856c278431364aa2ec0c0a35..16f8be4298a17429371c67045aa2373817ba9c4f 100644 (file)
--- a/src/frontends/qt/GuiAbout.cpp
+++ b/src/frontends/qt/GuiAbout.cpp
@@ -290,6 +290,12 @@ static QString version(bool const plain = false)
        else
                out << "</p><p>";
        out << toqstr(bformat(_("Qt Version (compile-time): %1$s"), from_ascii(QT_VERSION_STR)));
+       if (plain)
+               out << '\n';
+       else
+               out << "</p><p>";
+       out << toqstr(bformat(_("OS Version (run-time): %1$s"),
+               qstring_to_ucs4(QSysInfo::prettyProductName())));
        if (plain)
                out << '\n';
        else