After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 564663 - PLAIN - Missing status/media-playlist-repeat
PLAIN - Missing status/media-playlist-repeat
Status: RESOLVED FIXED
Product: gnome-themes
Classification: Deprecated
Component: theme-highcontrast-svg
HEAD
Other All
: Normal normal
: ---
Assigned To: Luca Ferretti
Calum Benson
Depends on:
Blocks: 519333
 
 
Reported: 2008-12-15 21:06 UTC by Luca Ferretti
Modified: 2009-02-03 09:08 UTC
See Also:
GNOME target: ---
GNOME version: 2.25/2.26

Attachments
Proposed icon (4.24 KB, image/svg+xml)
2008-12-15 21:08 UTC, Luca Ferretti 		Details

Description Luca Ferretti 2008-12-15 21:06:12 UTC 
As per summary, this icon is missing
Comment 1 Luca Ferretti 2008-12-15 21:08:35 UTC 
Created attachment 124756 [details]
Proposed icon
Comment 2 Luca Ferretti 2009-02-03 09:08:39 UTC 
Committed in revision 1640