re-add isTop param to FileList and use it in MediaPlayer (thanks to PieterG)
authorAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 9 Jul 2008 11:12:48 +0000 (11:12 +0000)
committerAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 9 Jul 2008 11:12:48 +0000 (11:12 +0000)
commit100dc74896a9b2a921770118caaa104dae1a408c
tree4ad6bd72e04bb87af3ac743e8e59c988f69b7505
parent3c8e2d618a1dd14bd1a493d7172204ac1b78f75f
re-add isTop param to FileList and use it in MediaPlayer (thanks to PieterG)
lib/python/Components/FileList.py
lib/python/Plugins/Extensions/MediaPlayer/plugin.py