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 565243 - PLAIN - Missing status/media-playlist-shuffle
PLAIN - Missing status/media-playlist-shuffle
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-21 14:13 UTC by Luca Ferretti
Modified: 2009-02-03 09:10 UTC
See Also:
GNOME target: ---
GNOME version: 2.25/2.26


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

Description Luca Ferretti 2008-12-21 14:13:07 UTC
As per summary, this icon is missing
Comment 1 Luca Ferretti 2008-12-21 14:15:50 UTC
Created attachment 125094 [details]
Proposed icon

The usual two intersecating arrows, only in B&W HC style.

Note: some minor touchups to arrow heads (smmoth curve) could be needed, but it isn't an high priority task.
Comment 2 Luca Ferretti 2009-02-03 09:10:38 UTC
Committed in revision 1641