DecoderSelector: Make PD info text selectable.
authorUwe Hermann <uwe@hermann-uwe.de>
Thu, 14 Mar 2019 20:33:36 +0000 (21:33 +0100)
committerUwe Hermann <uwe@hermann-uwe.de>
Thu, 14 Mar 2019 21:49:24 +0000 (22:49 +0100)
This allows for e.g. highlighting and copy-pasting.


No differences found