search

Moon-0xff / gnome-mpris-label

A music related GNOME extension.
GNU General Public License v3.0
50 stars 9 forks source link

New name doesn't appear in Extension Manager #74

Closed Batwam closed 9 months ago

Batwam commented 10 months ago

Hi,

I don't know if it's only me but I noticed that the extension name no longer appears in Extension Manager: image

I remove the & from the name and it came back. image

Note that the issue doesn't appear in Extensions: image

So you could argue that it's an Extension Manager bug... which is why I also reported it here: https://github.com/mjakeman/extension-manager/issues/473

Depending in the outcome of the bug report, I'm just reporting it here so you are aware of the issue and in case you feel that we should remove the special character from the new name.

Moon-0xff commented 10 months ago

Well, this is an issue with Extension Manager, not with our extension.
Also, Extension Manager is a third party app, not a GNOME one.

I would prefer to ignore this issue. It doesn't set a good precedent.

But Extension Manager is to my knowledge widely used, so I think making a workaround for it is justified.

Moon-0xff commented 9 months ago

Solved in dfe17b3a4b3d0429c38e240205f372e0c4960132.