diff options
author | XZS | 2017-09-28 14:27:47 +0200 |
---|---|---|
committer | XZS | 2017-09-28 14:27:47 +0200 |
commit | 5d1c238d4d6e780144cd6824dd71aab567ff4fdb (patch) | |
tree | fcfaefab41554ea25b9e4b7cb9425f5a327ce36d | |
parent | 77cb9f9423ef06cc3763d5268710ce54b2c3248d (diff) | |
download | aur-5d1c238d4d6e780144cd6824dd71aab567ff4fdb.tar.gz |
propagate upstream update
HiDPI support improved, the extension better adheres to shell themes and
various players were adjusted for. In addition, efficiency was greatly
improved by solely reacting to events instead of querying for changes.
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-mediaplayer-git pkgdesc = A mediaplayer indicator for the Gnome Shell - pkgver = 0.1 + pkgver = 0.2 pkgrel = 1 url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer install = gschemas.install @@ -11,7 +11,7 @@ pkgbase = gnome-shell-extension-mediaplayer-git makedepends = git depends = gnome-shell optdepends = mpdris2-git: MPD support - provides = gnome-shell-extension-mediaplayer=0.1 + provides = gnome-shell-extension-mediaplayer=0.2 conflicts = gnome-shell-extension-mediaplayer source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer md5sums = SKIP @@ -5,7 +5,7 @@ # You may find it convenient to file issues and pull requests there. pkgname=gnome-shell-extension-mediaplayer-git -pkgver=0.1 +pkgver=0.2 pkgrel=1 pkgdesc='A mediaplayer indicator for the Gnome Shell' arch=('any') |