--- deskbar/handlers/programs.py.orig 2007-07-16 01:47:05.000000000 +0200 +++ deskbar/handlers/programs.py 2007-07-16 01:47:15.000000000 +0200 @@ -164,7 +164,7 @@ class DevhelpHandler(SpecialProgramHandler): def __init__(self): - SpecialProgramHandler.__init__(self, "devhelp.desktop", "devhelp") + SpecialProgramHandler.__init__(self, "gnome-devhelp.desktop", "devhelp") def create_match(self, desktop, f): return DevhelpMatch(