Reset media/current-information when the song terminates (or if there is a player...
authorFrancois Fleuret <francois@fleuret.org>
Tue, 10 Mar 2015 14:04:38 +0000 (15:04 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Tue, 10 Mar 2015 14:04:38 +0000 (15:04 +0100)
commit6a44bdf65c8691602f917c8d5b4d8d751efa83d7
tree0c8d81aa4c49a18f052e168a371ed53060460a08
parent497efe7d92b929dbad57f8dcd434bea3a8c72c21
Reset media/current-information when the song terminates (or if there is a player error)
media.el