Icon sometimes remains on gnome dock after exit
Abierto
bug
pinned
- Lenguaje dominante
- Python
- Estrellas
- 1.2k
- Forks
- 131
- Merge medio
- 1 d 11 h
- PR fusionados (30 d)
- 14
Descripción
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.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.