Command snippet cannot be selected

[Tomucha]

Page URL

https://flutter.dev/docs/deployment/obfuscate.html

Page source

https://github.com/flutter/website/tree/master/src/docs/deployment/obfuscate.md

Describe the problem

Some of the command line examples have: user-select: none CSS property, so the reader cannot select fragment of the CLI and copy it. For example the line "flutter build apk --obfuscate --split-debug-info=//" can be copied only with the icon on the right side of the example.

It's possible that it is present on other doc pages too.

Expected fix

Let me select and copy whatever part of the code I need. Remove user-select: none property.

Additional context

No response

[TahaTesser]

Hi @Tomucha Thanks for filing the issue.

The first command snippet is not selectable here I wonder if there are other snippets like these, I tried to find but couldn't one find with the same behavior

[Tomucha]

Try to select "symbolize" in example here: https://flutter.dev/docs/deployment/obfuscate#reading-an-obfuscated-stack-trace

There is something fishy about the code highlighter.

[sfshaza2]

Oh wow, this is bad and should be fixed.