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

Previous Next

Full log

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)]

Previous Next

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