Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Feature: Town name filtering #7621
This is a re-PR of #6983, which implements the filtering feature for town name list like below:
Now it does not blink and seems stable unlike #6983 as @LordAro said.