diff options
| author | XZS | 2016-03-23 21:06:11 +0100 |
|---|---|---|
| committer | XZS | 2016-03-23 21:06:11 +0100 |
| commit | 82953166daa452b8915209b3112cd0b4d7ef2162 (patch) | |
| tree | 9cdc994968fd50b254cd006c24acaebd4c683f35 /PKGBUILD | |
| parent | 6b52e3a8185dedcd0f454f2c79543613a7a24260 (diff) | |
| download | aur-82953166daa452b8915209b3112cd0b4d7ef2162.tar.gz | |
propagate upstream update
Apart from translation updates, the intellihide machinery has been
optimized. The extension can now also be active with full screen windows
and supports the upcoming gnome-shell version 3.20.
Fortunately, the same dash-to-dock release applies to gnome-shell 3.18
and 3.20 as well. This saves the hassle of rewriting the code that
extracts the download link from the webpage and provides the hopeful
perspective that transition will be effortless when the next stable
shell version hits the Arch Linux repositories.
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ # You may find it convenient to file issues and pull requests there. pkgname=gnome-shell-extension-dash-to-dock -pkgver=50 +pkgver=53 pkgrel=1 pkgdesc="move the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops" arch=('any') |