From 53ed91ff6460db355d04d01943b39caa7d5d8673 Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Fri, 29 May 2020 12:39:44 +0200
Subject: [PATCH] DebugScreen: Make the text selectable

---
 lib/screens/debug_screen.dart | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/screens/debug_screen.dart b/lib/screens/debug_screen.dart
index dd3e576d..ac1829de 100644
--- a/lib/screens/debug_screen.dart
+++ b/lib/screens/debug_screen.dart
@@ -152,8 +152,8 @@ class _DebugScreenState extends State<DebugScreen> {
       props.add(valueSpan);
     });
 
-    return RichText(
-      text: TextSpan(children: [
+    return SelectableText.rich(
+      TextSpan(children: [
         TextSpan(
             text: timeStr,
             style: textStyle.copyWith(fontWeight: FontWeight.bold)),
@@ -180,7 +180,7 @@ class _DebugScreenState extends State<DebugScreen> {
 
     var text = dt.toIso8601String().substring(0, 10);
     return Padding(
-      child: Text(
+      child: SelectableText(
         text,
         style: textStyle,
         textAlign: TextAlign.center,