Carsten Haitzler e487976dce elm player - this breaks elm player theme api. it was broken to begin with ... now elm player is a much mroe useful widget with nice auto-show/hide controls and can in future be extended to do more. dark theme has full support now.		2013-07-23 19:17:01 +09:00
legacy/elementary	elm player - this breaks elm player theme api. it was broken to begin with	2013-07-23 19:17:01 +09:00