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

browse-page: Enable type-ahead search #706

Closed oscfdezdz closed 2 months ago

oscfdezdz commented 3 months ago

Fix https://github.com/mjakeman/extension-manager/issues/355

oscfdezdz commented 2 months ago

This has the limitation of not working with the widgets outside ExmBrowsePage, in this case, header bar widgets. Setting the root widget as the widget to capture keys breaks it entirely, so it seems this is the best we can do.

It still solves the problem described in the issue.