017, 06:11 -0500 schrieb Norman L Smith:
> On Sun, 2017-01-01 at 18:24 +0800, Mario Wenzel wrote:
> > "Re: Alternative to restarting shell on wayland"
> >
> >
> >
> > Norman L Smith doc
> Hello Mario,
>
> The link above is not usable for m
On Sun, 2017-01-01 at 18:24 +0800, Mario Wenzel wrote:
> "Re: Alternative to restarting shell on wayland"
>
>
>
>
> Norman L Smith doc
Hello Mario,
The link above is not usable for me. It gives a message that it is
only available for windows.
Since I poste
Hello:
I have created a gnome shell extension which provides a panel menu
button
that will reload an extension under a Wayland or Xorg session. It seems
to do
the job under Fedora 24 GS 3.20 and Fedora 25 Beta GS 3.22. The
updated
gnome-shell-extension-tool is not available in a distribution yet
Hi,
apparently there will be/is functionality in the gnome-extension-tool
to reload extensions. I have yet to try that.
https://bugzilla.gnome.org/show_bug.cgi?id=772593
Am Freitag, den 28.10.2016, 23:51 +0300 schrieb Yotam Bar-On:
> > Hi all,I develop some extensions, and started using the Wayl
Hi all,
I develop some extensions, and started using the Wayland impl now with 3.22.
I noticed I can't restart the shell anymore (saw the commit + bugzilla
issue). While developing extensions I acquired the habit of alt+f2->r all
the time, similar to alt-tab->f5 for web devel. ^_^
Now with the "no
