id summary reporter owner description type status priority milestone component version resolution keywords cc 2423 [patch] Filter for AdvancedPreferences panel Igor Shubovych framm "Hello, When editing parameters manually it's not always easy to find the proper one. So I added the simple filter text field on the top. Now if user is typing text the preferences in table are filtrated. Preference would be shown only if its name or value contains typed text. I reviewed all bugs and haven't find similar http://josm.openstreetmap.de/query?status=assigned&status=closed&status=needinfo&status=new&status=reopened&description=~preferences&cc=~&order=priority" enhancement closed minor Core latest fixed preferences filter usability