angr-management icon indicating copy to clipboard operation
angr-management copied to clipboard

Published 20 hours ago • verified publisher icon angr

Make graph arrow colors configurable

Open mborgerson opened this issue 3 years ago • 1 comments

Hardcoded in qgraph_arrow.py

mborgerson avatar Sep 02 '21 00:09 mborgerson

This issue has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.

github-actions[bot] avatar Jun 06 '22 02:06 github-actions[bot]