Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#67343 - [element-desktop] desktop integration issue on gnome-shell
Attached to Project:
Community Packages
Opened by solsTiCe (zebul666) - Tuesday, 21 July 2020, 09:46 GMT
Last edited by Bruno Pagani (ArchangeGabriel) - Wednesday, 22 July 2020, 07:36 GMT
Opened by solsTiCe (zebul666) - Tuesday, 21 July 2020, 09:46 GMT
Last edited by Bruno Pagani (ArchangeGabriel) - Wednesday, 22 July 2020, 07:36 GMT
|
Details1. The icon of element-desktop displayed while holding Alt-tab or Win-tab seems wrong.
It does seem square and the symbol inside is deformed 2. I can't pin element-desktop to dock (or add to the favorites) in gnome-shell because there is no such option in the context menu of the elemen-desktop icon in the dock. This is the only app with such a problem. No problem with riot-desktop previously. |
This task depends upon
Closed by Bruno Pagani (ArchangeGabriel)
Wednesday, 22 July 2020, 07:36 GMT
Reason for closing: Fixed
Additional comments about closing: Fixed, duplicate of #67342.
Wednesday, 22 July 2020, 07:36 GMT
Reason for closing: Fixed
Additional comments about closing: Fixed, duplicate of #67342.
Thank you