From a66ee4109ee84a4a501dbaa29580cdefe1aadd36 Mon Sep 17 00:00:00 2001
From: Stephan Witt
Date: Wed, 7 Dec 2022 00:08:11 +0100
Subject: [PATCH] Add OS version info to About box.
---
src/frontends/qt/GuiAbout.cpp | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/frontends/qt/GuiAbout.cpp b/src/frontends/qt/GuiAbout.cpp
index d4173fae8b..16f8be4298 100644
--- 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 << "
";
out << toqstr(bformat(_("Qt Version (compile-time): %1$s"), from_ascii(QT_VERSION_STR)));
+ if (plain)
+ out << '\n';
+ else
+ out << "
";
+ out << toqstr(bformat(_("OS Version (run-time): %1$s"),
+ qstring_to_ucs4(QSysInfo::prettyProductName())));
if (plain)
out << '\n';
else
--
2.39.5