[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#60700] [PATCH] gnu: Add gnome-shell-extension-fly-pie
|
From: |
phodina |
|
Subject: |
[bug#60700] [PATCH] gnu: Add gnome-shell-extension-fly-pie |
|
Date: |
Tue, 10 Jan 2023 01:23:38 +0000 |
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
0001-gnu-Add-gnome-shell-extension-fly-pie.patch
Description: Text Data
Screenshot from 2023-01-09 18-30-59.png
Description: PNG image
- [bug#60700] [PATCH] gnu: Add gnome-shell-extension-fly-pie,
phodina <=
Screenshot from 2023-01-09 18-30-59.png