Sadly, from one Gnome version or subversion to another, with each change, the
majority of extensions are broken, and "Florian Müllner", that includes the
ones you wrote. Many people are abandoning Gnome, simply because their favorite
extensions no longer work.
I have a deep appreciation of the application development process and the QA
that is needed. May I propose or suggest that there be an a new standardized
interface for gnome extensions, an extension api, which will be responsible
backend for the interfacing to the various gnome versions? This api to be
providing a consistent interface for extension developers. My two favourite
broken extensions are your menu extension and the Taskbar extension which works
partially with Tumbleweed, fully with Centos, and not at all with recent
Fedora's version 30 or any Linux Distribution using a Gnome version beyond
3.32.
Regards
Leslie
Leslie Satenstein
Montréal Québec, Canada
On Monday, September 9, 2019, 3:46:02 p.m. GMT-4, Florian Müllner
<fmuell...@gnome.org> wrote:
About gnome-shell-extensions
============================
GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.
News
====
Translators:
Rafael Fontenelle [pt_BR], Efstathios Iosifidis [el], Milo Casagrande [it],
Sabri Ünal [tr]
Download
========
https://download.gnome.org/sources/gnome-shell-extensions/3.34/gnome-shell-extensions-3.34.0.tar.xz
(200K)
sha256sum: f5bf8f6a87f918ebba69adac56257b9439399238021821d689928e2b2822cbab
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list
