GNU bug report logs - #60700
[PATCH] gnu: Add gnome-shell-extension-fly-pie

Previous Next

Package: guix-patches;

Reported by: phodina <phodina <at> protonmail.com>

Date: Tue, 10 Jan 2023 01:24:02 UTC

Severity: normal

Tags: moreinfo, patch

To reply to this bug, email your comments to 60700 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#60700; Package guix-patches. (Tue, 10 Jan 2023 01:24:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to phodina <phodina <at> protonmail.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Tue, 10 Jan 2023 01:24:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: phodina <phodina <at> protonmail.com>
To: Guix Patches <guix-patches <at> gnu.org>
Cc: "monego <at> posteo.net" <monego <at> posteo.net>,
 Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Subject: [PATCH] gnu: Add gnome-shell-extension-fly-pie
Date: Tue, 10 Jan 2023 01:23:38 +0000

[Message part 1 (text/plain, inline)]
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 :-)

----
Petr
[Message part 2 (text/html, inline)]
[0001-gnu-Add-gnome-shell-extension-fly-pie.patch (text/x-patch, attachment)]
[Screenshot from 2023-01-09 18-30-59.png (image/png, attachment)]
Information forwarded to guix-patches <at> gnu.org:
bug#60700; Package guix-patches. (Tue, 10 Jan 2023 05:20:02 GMT) Full text and rfc822 format available.

Message #8 received at 60700 <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: phodina <phodina <at> protonmail.com>, 60700 <at> debbugs.gnu.org
Cc: "monego <at> posteo.net" <monego <at> posteo.net>
Subject: Re: [PATCH] gnu: Add gnome-shell-extension-fly-pie
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
Added tag(s) moreinfo. Request was from Maxim Cournoyer <maxim.cournoyer <at> gmail.com> to control <at> debbugs.gnu.org. (Tue, 21 Mar 2023 20:22:02 GMT) Full text and rfc822 format available.
This bug report was last modified 2 years and 84 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.