Subject: Re: [PATCH] gnu: Add gnome-shell-extension-fly-pie

From: Liliana Marie Prikler <[email-masked]>
Date: Tue, 10 Jan 2023 06:19:25 +0100

Am Dienstag, dem 10.01.2023 um 01:23 +0000 schrieb phodina:
> Hi,
> 
> this patch adds Fly Pie Gnome Shell extension which provides
> alternative way around menus.
> 
> However, I have been unable to get the settings working - they never
> launch. Maybe somebody will know what's missing :-)
Haven't looked at it in detail, but I'm pretty sure it's libadwaita. 
There are some gjs-based apps, that have been wrapped to get their GI
libraries, but so far none of them are extensions.  Perhaps we should
make this one an example?

Cheers