Thanks for the quick action, it works. I suppose this must be a rather
unusual case. I'll stay and lurk around on this list in the hope of
learning something.
Siôn
On Mon Jan 12 2015 at 22:31:49 Florian Müllner wrote:
> On Mon, Jan 12, 2015 at 9:06 PM, Siôn Le Roux
> wrote:
> > There's a gnome
On Mon, Jan 12, 2015 at 9:06 PM, Siôn Le Roux wrote:
> There's a gnome-shell plugin at
> https://extensions.gnome.org/extension/519/messaging-menu/ of which I am a
> maintainer on GitHub. Although we've still pushed updates to it, it hasn't
> received updates on extensions.gnome.org for a few mont
Hi all
I've just joined the list to ask this question and haven't followed it
until now. I'm fairly certain my question won't fit the usual discussion
that happens here but this seemed like the least inappropriate place to ask
from those I could find.
There's a gnome-shell plugin at
https://exten
