jasper
ecc0b3c4b8
update to gnome-shell-extensions-3.26.2
2017-11-04 16:45:01 +00:00
jasper
0f2d095754
update to gnome-shell-extensions-3.24.3
2017-07-24 18:29:13 +00:00
jasper
9e7e2cd00d
update to gnome-shell-extensions-3.24.2
2017-05-21 17:48:41 +00:00
jasper
2e9e801901
update to gnome-shell-extensions-3.24.1
2017-04-17 12:53:11 +00:00
ajacoutot
73177d4bf3
Stop setting CONFIGURE_STYLE in Makefile.inc but explicitely add it to ports
...
that need it; in the future more and more ports will move to meson build anyway.
I first though I'd set CONFIGURE_STYLE in gnome.port.mk but it's too fragile
(MODULES list must be sorted very carefully).
Less magic is good.
discussed with jasper@
2017-04-13 07:38:44 +00:00
jasper
fb27f46a4c
update to gnome-shell-extensions-3.22.2
2016-11-10 19:28:18 +00:00
jasper
de583988f1
update to gnome-shell-extensions-3.22.1
2016-10-31 16:15:23 +00:00
jasper
c978032140
thank you cvs
2016-05-12 09:45:16 +00:00
jasper
47ff5e73cc
update to gnome-shell-extensions-3.20.1
2016-05-12 09:44:32 +00:00
ajacoutot
55643480ba
The x11/gnome MODULE does the right thing for gettext already.
2016-05-10 07:16:44 +00:00
jasper
4583731bbf
update to gnome-shell-extensions-3.20.0
2016-04-26 07:42:37 +00:00
jasper
c864044afc
update to gnome-shell-extensions-3.18.4
2016-03-04 10:21:27 +00:00
jasper
1f7bd09066
update to gnome-shell-extensions-3.18.3
2016-01-09 12:36:46 +00:00
jasper
78b940f553
force a rebuild after libgtop update; needed at least to get system-monitor to
...
report data back again
2015-12-11 14:08:07 +00:00
jasper
96bd065033
update to gnome-shell-extensions-3.18.2
2015-11-12 18:00:59 +00:00
jasper
4e3fe52a09
update to gnome-shell-extensions-3.18.1
2015-10-24 14:07:41 +00:00
jasper
ae73e43ea7
update to gnome-shell-extensions-3.16.2
2015-07-02 18:02:32 +00:00
jasper
a182be0a79
update to gnome-shell-extensions-3.16.1
2015-04-15 10:09:27 +00:00
ajacoutot
aa988913b0
Bump after the recent changes in packaging dbus and dconf.
2015-04-04 09:20:59 +00:00
jasper
8f9356c223
update to gnome-shell-extensions-3.16.0
2015-04-03 16:47:55 +00:00
jasper
7578e35778
update to gedit-code-assistance-3.14.3
2015-03-24 13:36:09 +00:00
jasper
d39b95b004
update to gnome-shell-extension-3.14.3
2014-12-22 09:23:58 +00:00
jasper
1f9543e8c4
update to gnome-shell-extensions-3.14.2
2014-11-16 14:00:23 +00:00
ajacoutot
11aa32b833
Missing RUN_DEPENDS.
2014-10-15 15:36:23 +00:00
jasper
759aaf4bf8
update to gnome-shell-extensions-3.14.1
2014-10-15 13:35:46 +00:00
jasper
911d27de54
update to gnome-shell-extensions-3.14.0
2014-10-05 19:53:28 +00:00
jasper
ae05656489
update to gnome-shell-extensions-3.12.2
2014-05-14 09:26:01 +00:00
jasper
012f7978a4
cleanup double spaces and sort MODGNOME_TOOLS
2014-04-02 09:36:09 +00:00
jasper
53bb160e75
switch over port to MODGNOME_TOOLS that didnt have it yet
2014-04-01 18:38:52 +00:00
ajacoutot
b84b1c792a
No need to build+run depends on x11/gnome/desktop.
2014-03-28 16:02:21 +00:00
jasper
17f9ff9115
update to gnome-shell-extensions-3.12.0
2014-03-27 19:05:58 +00:00
ajacoutot
12c5f567ce
Update to gnome-shell-extensions-3.10.1.
2013-10-16 09:06:08 +00:00
ajacoutot
ea93efd05f
Remove hardcoded HOMEPAGE and use the one from the x11/gnome MODULE
...
instead. It is just too hard to maintain a coherent list of still
reachable homepages for GNOME projects so use wiki.gnome.org which is
the entry point for *all* GNOME apps.
2013-09-28 08:50:34 +00:00
jasper
8ce3406702
update to gnome-shell-extensions-3.10.0
2013-09-27 14:05:09 +00:00
ajacoutot
c16304fb86
Update to gnome-shell-extensions-3.8.4.
2013-09-11 14:06:40 +00:00
jasper
d97152c295
update to gnome-shell-extensions-3.8.3.1
2013-06-18 06:23:38 +00:00
jasper
5f7ab1cbe6
update to gnome-shell-extensions-3.8.3
2013-06-10 15:21:12 +00:00
ajacoutot
61bc7b682d
Drop now uneeded patches.
2013-06-01 18:56:08 +00:00
jasper
48bc6d5019
update to gnome-shell-extensions-3.8.2
2013-05-14 08:59:34 +00:00
jasper
0745127321
update to gnome-shell-extensions-3.8.1
2013-04-17 11:04:49 +00:00
ajacoutot
d559d18e3a
Set PKG_ARCH=*
...
No need for the devel/gettext MODULE.
Extend the DATADIRNAME comment.
Sync DESCR with source.
2013-03-31 07:54:13 +00:00
jasper
9f77c79a6e
import gnome-shell-extensions-3.8.0
...
The GNOME Shell extension design is designed to give a high degree of
power to the parts of the GNOME interface managed by the shell, such as
window management and application launching. It simply loads arbitrary
JavaScript and CSS. This gives developers a way to make many kinds of
changes and share those changes with others, without having to patch the
original source code and recompile it, and somehow distribute the
patched code. The extension system is a replacement for the "applets" or
"widgets" system of GNOME 2.
ok aja@
2013-03-30 10:58:52 +00:00