On Tue, Mar 28, 2017, at 01:47 PM, Yuri Konotopov wrote: > extensions.gnome.org currently show all extensions regardless it's Shell > compatibility. > That was handled in bug 779925 [1]. > > However GNOME Shell itself can not install incompatible extensions. This > is handled in bug 776460 [2]. > > [1] https://bugzilla.gnome.org/show_bug.cgi?id=779925 > [2] https://bugzilla.gnome.org/show_bug.cgi?id=776460 >
Ok, I see. It seems the behavior I read about was specifically patched into Fedora 25: https://fedoraproject.org/wiki/F25_general_release_announcement?rd=F25_release_announcement "GNOME Shell extensions are also no longer checked for compatibility with the current version of the Shell. This was originally required because the GNOME interfaces were changing rapidly during the early days of GNOME 3. Now these interfaces have stabilized, and extensions can generally be expected to work with new releases." Thanks for the info! _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
