Calum: I filed bug #546721 about this issue:
http://bugzilla.gnome.org/show_bug.cgi?id=546721 Please feel free to add any further comment you might think would be helpful to explain the issue. Let's see what they say, and work towards removing the patch. > The UI spec suggests a different name because, thanks to popular usage, > more people are likely to know what a "CD Ripper" is than an "Audio CD > Extractor", so it seemed like a more sensible choice. Even Windows > Media Player calls this function "ripping" rather than "extracting", IIRC. > > As with all the proposed .desktop file differences in the UI spec, I'd > suggest trying to push our version upstream first. If the maintainer > doesn't agree, then we can decide whether our version adds enough value > to keep it or not. Sounds fine. Brian
