Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
add search/filter box to dataset selector #752
We tend to use the 'dataset selector' to divide our data in to datasets. This can result in it being very unwieldy and difficult to navigate.
Would it be realistic to add a 'filter as you type' field to the drop down? Happy if this is only on the new version of the dropdown.