search

angr / angr-management

The official angr GUI.
BSD 2-Clause "Simplified" License
856 stars 108 forks source link

Fixed unable to copy version text issue in "about". #1270

Closed brayand9106 closed 4 weeks ago

brayand9106 commented 4 weeks ago

Added another line of code inside of "angrmanagement/ui/dialogs/about.py", allowing version text in "about" to be selectable.

This should fix the unable to copy issue in the "about" window allowing users to select and copy the version text.

Fixes #824

twizmwazin commented 4 weeks ago

Thanks!