angr / angr/angr-management

Deselected state still considered selected in States context menu

Ouverte
#535 1 commentaire 0 réactions 1 personne assignée Réclamée par @mborgerson Voir sur GitHub
Langage dominant
Python
Étoiles
1.2k
Forks
131
Merge moyen
1 j 11 h
PR mergées (30 j)
14

Description

* Select a state
* Deselect the state by clicking elsewhere in blank area
* Right-click on the table in blank area, state-relevant options are still available for the visually deselected state

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.