> Well, it’s long gone, and while I have it still installed, I’m wondering 
> what kind of replacement is used today for this functionality?

  I personally use `xbindkeys`.  Configure it to be launched as
 part of your desktop-session and you can make it toggle music, etc,
 via multimedia keys.

Steve
-- 

Reply via email to