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, click to copy)
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
Submitter: alucryd
Maintainer: XZS
Last Packager: XZS
Votes: 118
Popularity: 0.000000
First Submitted: 2011-05-27 08:35 (UTC)
Last Updated: 2018-11-15 11:02 (UTC)

Latest Comments

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

alucryd commented on 2011-06-13 19:20 (UTC)

@bwat47, regarding your problem, Elementary provide the playback icons as SVGs only, while Faenza and gnome provide PNGs too. Try adding PNGs of the following icons for all sizes you find in the folder, 16x16, 22x22... : media-playback-start, media-playback-pause, media-playback-stop, media-skip-backward, media-skip-forward.

alucryd commented on 2011-06-13 18:06 (UTC)

Moved player selection to install file, and added intltool and gnome-common to makedeps.

LeCrayonVert commented on 2011-06-13 12:27 (UTC)

And intltool as well...

LeCrayonVert commented on 2011-06-13 12:25 (UTC)

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

nDray commented on 2011-06-12 21:18 (UTC)

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

<deleted-account> commented on 2011-06-12 21:01 (UTC)

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 (UTC)

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 (UTC)

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 (UTC)

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.

<deleted-account> commented on 2011-06-10 14:51 (UTC)

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

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