Opened 16 years ago
Closed 16 years ago
#2423 closed enhancement (fixed)
[patch] Filter for AdvancedPreferences panel
Reported by: | Owned by: | framm | |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | Core | Version: | latest |
Keywords: | preferences filter usability | Cc: |
Description
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
Attachments (1)
Change History (2)
by , 16 years ago
Attachment: | filter_preferences.patch added |
---|
comment:1 by , 16 years ago
Resolution: | → fixed |
---|---|
Status: | new → closed |
In r1576.