realitymod / PRGallery

Code for the PR map gallery
GNU General Public License v3.0
1 stars 3 forks source link

Implement search #11

Closed UTurista closed 3 years ago

UTurista commented 6 years ago

Add in the toolbar, when in the map browser, a search widget that allows to filters the maps that contain the query in the name or filter the maps that have the size the same as the parseInt(query).

This search functionality should always be focused allowing to insta-type and filter the maps w/o having to "click" in the search icon