search

angr / angr-management

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

Icon sometimes remains on gnome dock after exit #434

Open mborgerson opened 3 years ago

mborgerson commented 3 years ago

This issue is intermittent and I'm not exactly sure why it happens, but occasionally the angr-management icon will remain on the gnome dock after closing angr-management in Ubuntu 20.04. I have not seen this behavior with other applications.

github-actions[bot] commented 2 years ago

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] commented 2 years ago

This issue has been closed due to inactivity.

github-actions[bot] commented 1 year ago

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.