From 244c07e50ef548dbb3aa5fd1636235a5fa817e88 Mon Sep 17 00:00:00 2001 From: fufesou Date: Tue, 11 Oct 2022 20:35:30 -0700 Subject: [PATCH] flutter: msgbox selectable Signed-off-by: fufesou --- flutter/lib/common.dart | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/flutter/lib/common.dart b/flutter/lib/common.dart index 6e32ad09c..686ef3144 100644 --- a/flutter/lib/common.dart +++ b/flutter/lib/common.dart @@ -656,7 +656,8 @@ void msgBox( } dialogManager.show((setState, close) => CustomAlertDialog( title: _msgBoxTitle(title), - content: Text(translate(text), style: const TextStyle(fontSize: 15)), + content: SelectableText(translate(text), + style: const TextStyle(fontSize: 15)), actions: buttons, onSubmit: hasOk ? submit : null, onCancel: hasCancel == true ? cancel : null,