From 4fc7c18e98fa01fd395d815f92f86fd60bfbd3df Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Wed, 10 Jun 2020 16:09:16 +0200
Subject: [PATCH] Let the rendered markdown be selectable

---
 lib/widgets/note_viewer.dart | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/widgets/note_viewer.dart b/lib/widgets/note_viewer.dart
index e9b06df1..0011a320 100644
--- a/lib/widgets/note_viewer.dart
+++ b/lib/widgets/note_viewer.dart
@@ -59,6 +59,7 @@ class NoteViewer extends StatelessWidget {
             padding: const EdgeInsets.only(top: 8.0, bottom: 8.0),
             child: MarkdownBody(
               data: note.body,
+              selectable: true,
               styleSheet: markdownStyleSheet,
               onTapLink: (String link) {
                 if (link.startsWith('./')) {