On Tue, May 12, 2015 at 7:58 PM Bastien Nocera <bnocera@xxxxxxxxxx> wrote:
High-value extensions should be in the core of gnome-shell. [...]
Or support for media player controls, or builtin weather.
Incidentally, I'm mentoring a Summer of Code student to add both of these this summer.
-- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
