InfoBarGenerics.py: rename timer to fix automatic infobar hide after channel change
authorghost <andreas.monzner@multimedia-labs.de>
Thu, 31 Dec 2009 08:55:18 +0000 (09:55 +0100)
committerthedoc <thedoc@atom.(none)>
Fri, 1 Jan 2010 14:25:47 +0000 (15:25 +0100)
commit1bc8dc3d42231058a3dc71bcb72f212224daeeec
tree938a25d1f4958cf070de92dee891feaaf76e2aac
parentb3813095d2b2d9b546eeb075de3bdb78e48987e6
InfoBarGenerics.py: rename timer to fix automatic infobar hide after channel change
lib/python/Screens/InfoBarGenerics.py