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)
committerghost <andreas.monzner@multimedia-labs.de>
Thu, 31 Dec 2009 09:18:25 +0000 (10:18 +0100)
commit805a0a4b65925371d4498c9b4cc6adf37c9bedde
treefd53db6c008538adac1d980977db487a1ec7a84d
parent9e205508ab4462cac81f7b85447c7ba907a59c99
InfoBarGenerics.py: rename timer to fix automatic infobar hide after channel change
lib/python/Screens/InfoBarGenerics.py