Add OS info to diagnostics output.

This commit is contained in:
Dain Nilsson 2023-02-24 14:24:33 +01:00
parent d4253d3e63
commit 4491fb4b40
No known key found for this signature in database
GPG Key ID: F04367096FBA95E8

View File

@ -162,6 +162,8 @@ class AboutPage extends ConsumerWidget {
data.insert(0, { data.insert(0, {
'app_version': version, 'app_version': version,
'dart': Platform.version, 'dart': Platform.version,
'os': Platform.operatingSystem,
'os_version': Platform.operatingSystemVersion,
}); });
final text = const JsonEncoder.withIndent(' ').convert(data); final text = const JsonEncoder.withIndent(' ').convert(data);
await ref.read(clipboardProvider).setText(text); await ref.read(clipboardProvider).setText(text);