eonpatapon/gnome-shell-extensions-mediaplayer — pull request #173 by franziskuskiefer (2014-09-03 10:09:18+00:00)
Title: Update panel.js

workaround for bug of displaying wrong cover in panel. cover is now refreshed on every play/pause/stop action. this fixes #172