Added optional Text Selectable option

flutter_highlight/lib/flutter_highlight.dart

@@ -27,12 +27,16 @@ class HighlightView extends StatelessWidget {
   /// Specify text styles such as font family and font size
   final TextStyle? textStyle;
 
+  /// Text selectable
+  final bool textSelectable;
+
   HighlightView(
     String input, {
     this.language,
     this.theme = const {},
     this.padding,
     this.textStyle,
+    this.textSelectable = false,
     int tabSize = 8, // TODO: https://github.com/flutter/flutter/issues/50087
   }) : source = input.replaceAll('\t', ' ' * tabSize);
 
@@ -48,7 +52,8 @@ class HighlightView extends StatelessWidget {
             : TextSpan(text: node.value, style: theme[node.className!]));
       } else if (node.children != null) {
         List<TextSpan> tmp = [];
-        currentSpans.add(TextSpan(children: tmp, style: theme[node.className!]));
+        currentSpans
+            .add(TextSpan(children: tmp, style: theme[node.className!]));
         stack.add(currentSpans);
         currentSpans = tmp;
 
@@ -90,12 +95,16 @@ class HighlightView extends StatelessWidget {
     return Container(
       color: theme[_rootKey]?.backgroundColor ?? _defaultBackgroundColor,
       padding: padding,
-      child: RichText(
-        text: TextSpan(
+      child: _buildRichText(
+        child: TextSpan(
           style: _textStyle,
-          children: _convert(highlight.parse(source, language: language).nodes!),
+          children:
+              _convert(highlight.parse(source, language: language).nodes!),
         ),
       ),
     );
   }
+
+  Widget _buildRichText({required TextSpan child}) =>
+      textSelectable ? SelectableText.rich(child) : RichText(text: child);
 }

highlight/lib/src/highlight.dart

@@ -459,7 +459,7 @@ class Highlight {
       while (true) {
         match = top!.terminators
             ?.allMatches(source, index)
-            ?.firstWhereOrNull((m) => true);
+            .firstWhereOrNull((m) => true);
 
         if (match == null) break;
         // print(top.terminators);