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 704906 - Rename gnome-session-properties icon to session-properties
Rename gnome-session-properties icon to session-properties
Status: RESOLVED FIXED
Product: gnome-themes-standard
Classification: Core
Component: HighContrast
3.8.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-themes-standard-maint
gnome-themes-standard-maint
Depends on:
Blocks:
 
 
Reported: 2013-07-26 01:49 UTC by Jeremy Bicha
Modified: 2013-08-22 13:33 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Use correct name for 'session-properties' icon (5.71 KB, patch)
2013-08-01 01:49 UTC, Jeremy Bicha
committed Details | Review

Description Jeremy Bicha 2013-07-26 01:49:20 UTC
Please rename the 'gnome-session-properties' High Contrast icon to 'session-properties'. Otherwise it won't match the icon shipped by gnome-session and specified in session-properties.desktop since 2007.
Comment 1 Jeremy Bicha 2013-08-01 01:49:04 UTC
Created attachment 250575 [details] [review]
Use correct name for 'session-properties' icon
Comment 2 Cosimo Cecchi 2013-08-01 08:48:41 UTC
Review of attachment 250575 [details] [review]:

Can you keep the list sorted alphabetically? Looks good otherwise.
Comment 3 Jeremy Bicha 2013-08-01 21:50:59 UTC
done and pushed to gnome-3-8 also
Attachment 250575 [details] pushed as 5f19f9b - Use correct name for 'session-properties' icon
Comment 4 Jeremy Bicha 2013-08-22 13:33:14 UTC
Could you do another 3.8 release for this fix?