blob: a09210d808c4996bf514f1f9d12b35429d7c0a0d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
pkgbase = gnome-shell-extension-scroll-workspaces
pkgdesc = Change workspaces by scrolling while over the top panel in Gnome Shell
pkgver = 31
pkgrel = 1
url = https://extensions.gnome.org/extension/701/scroll-workspaces/
arch = any
license = GPL
depends = gnome-shell>=40
source = gnome-shell-extension-scroll-workspaces.zip::https://extensions.gnome.org/download-extension/scroll-workspaces@gfxmonk.net.shell-extension.zip?version_tag=30573
sha256sums = 673197de6cba1b9261a5af110b5df37ab8a047fd0a94d315d4e2d7455cd0b4da
pkgname = gnome-shell-extension-scroll-workspaces
|