Codebase list gnome-shell-extension-mediaplayer / da24d77
Update documentation and screenshots Jean-Philippe Braun 12 years ago
4 changed file(s) with 30 addition(s) and 13 deletion(s). Raw diff Collapse all Expand all
1414 * Quod Libet (with MPRIS D-Bus interface plugin)
1515 * Guayadeque 0.3.2
1616 * Amarok
17 * Spotify
18 * Nuvola
19 * and more...
1720
1821 ----
1922
2932
3033 By default, media players shows up in the volume menu:
3134
32 ![Screenshot](http://github.com/eonpatapon/gnome-shell-extensions-mediaplayer/raw/master/data/mediaplayer2.png)
35 ![Screenshot](http://github.com/eonpatapon/gnome-shell-extensions-mediaplayer/raw/devel/data/mediaplayer2.png)
3336
3437 But you can have the media players in a separate menu (see settings):
3538
36 ![Screenshot](http://github.com/eonpatapon/gnome-shell-extensions-mediaplayer/raw/master/data/mediaplayer1.png)
39 ![Screenshot](http://github.com/eonpatapon/gnome-shell-extensions-mediaplayer/raw/devel/data/mediaplayer1.png)
3740
38 Support for playlists in Banshee (MPRIS 2.1 player interface):
39
40 ![Screenshot](http://github.com/eonpatapon/gnome-shell-extensions-mediaplayer/raw/master/data/mediaplayer3.png)
41 Notice the support of playlists in Banshee (MPRIS 2.1 player interface).
4142
4243 ----
4344
4445 ### Installation
4546
47 ## Via extensions.gnome.org
48
49 * https://extensions.gnome.org/extension/55/media-player-indicator/
50
51 Note that this version does not include gsettings options.
52
53 ## Packages
54
4655 * Archlinux [AUR package](http://aur.archlinux.org/packages.php?ID=49367) by Alucryd
4756 * Ubuntu [webupd8 PPA](http://www.webupd8.org/2011/10/gnome-shell-mediaplayer-extension.html)
4857 * Frugalware [package](http://www.frugalware.org/packages/136448) by Baste
4958
50 Manual installation :
59 ## Manual installation
5160
52 ./autogen.sh --prefix=/usr
61 ./autogen.sh
5362 make
5463 sudo make install
5564
56 That's it!
57
5865 ----
5966
6067 ### Settings
6774
6875 ```gsettings set org.gnome.shell.extensions.mediaplayer volume true```
6976
70 Set the size of the cover (default 80):
77 To show the playlists of the media player:
78
79 ```gsettings set org.gnome.shell.extensions.mediaplayer playlists true```
80
81 To hide the position slider:
82
83 ```gsettings set org.gnome.shell.extensions.mediaplayer position false```
84
85 To set the size of the cover (default 80):
7186
7287 ```gsettings set org.gnome.shell.extensions.mediaplayer coversize 100```
88
7389
7490 ----
7591
7692 ### Authors
7793
78 * eon@patapon.info - Jean-Philippe Braun
79 * Based on the work of j.wielicki@sotecware.net (https://github.com/horazont/gnome-shell-extensions-mediaplayer)
80 * Some bits taken from Freddy Cornil (https://github.com/Caccc/Gnome-shell-extension-Mediasplayers)
94 * eonpatapon (Jean-Philippe Braun)
95 * grawity (Mantas Mikulėnas)
96
97 Based on the work of horazont (Jonas Wielicki)
Binary diff not shown
Binary diff not shown
data/mediaplayer3.png less more
Binary diff not shown