Package Details: gnome-shell-extension-mediaplayer-git 4.0-1

Git Clone URL: https://aur.archlinux.org/gnome-shell-extension-mediaplayer-git.git (read-only)
Package Base: gnome-shell-extension-mediaplayer-git
Description: A mediaplayer indicator for the Gnome Shell
Upstream URL: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
Licenses: GPL2
Conflicts: gnome-shell-extension-mediaplayer
Provides: gnome-shell-extension-mediaplayer=4.0
Submitter: alucryd
Maintainer: XZS
Last Packager: XZS
Votes: 123
Popularity: 0.000138
First Submitted: 2011-05-27 08:35
Last Updated: 2018-11-15 11:02

Latest Comments

« First ‹ Previous ... 6 7 8 9 10 11 12 13 Next › Last »

LeCrayonVert commented on 2011-06-13 12:27

And intltool as well...

LeCrayonVert commented on 2011-06-13 12:25

Please add gnome-common to depends array. Thx ;)

nDray commented on 2011-06-12 21:18

bwat47, maybe you have to report it in github, then...

Anonymous comment on 2011-06-12 21:01

I removed user-theme and its a little better, but the problem is still there when using elementary. I now have the smaller buttons with borders around them, but inside the borders the problem is still somewhat similar to my first screenshot.

Huulivoide commented on 2011-06-12 14:31

Please move the player selection into install file or
to shellscript, so that this is a player independent
and can be distrubuted on custom repos.

nDray commented on 2011-06-11 17:36

bwat47, your problem is most likely due to having the "theme selector" extension installed. I have noticed that it prevents other extensions from loading their custom css so, in this case, the mediaplayer extension fails to correctly set the size of the buttons with css...

I hope that's the case, and it solves your problem. Other icon themes work probably because the icons are correctly sized for that use.

There is also a "problem" with the PKGBUILD i added for the mpdris2. mpdris2 needs to be running at all times. It has to be turned into a daemon, and maybe added to the gnome-session-properties to launch at startup, if that works =)

I'm not using this extension, as it doesn't allow me to select playlists or songs, so it's rather unusable, though it's heading somewhere =)

alucryd commented on 2011-06-10 14:55

Try comparing the icons the extension points to between the 3 packs, and maybe edit the elementary ones, it should be a matter of resolution. I can't look into this right now, I won't have my arch box for the week-end.

Anonymous comment on 2011-06-10 14:51

It seems to just do it with the elementary icon theme. Gnome and faenza themes work.

Anonymous comment on 2011-06-10 14:46

It seems to just do it with the elementary icon theme. Gnome and faenza themes work.

Anonymous comment on 2011-06-10 14:46

It seems to just do it with the elementary icon theme. Gnome and faenza themes work.