search

mjakeman / extension-manager

A utility for browsing and installing GNOME Shell Extensions.
https://mattjakeman.com/apps/extension-manager
GNU General Public License v3.0
1.01k stars 80 forks source link

Index as pointer #649

Closed bill88t closed 6 months ago

bill88t commented 6 months ago

This prolly needs more work to work with older versions.