Modify ↓
Opened 4 years ago
Closed 4 years ago
#2423 closed enhancement (fixed)
[patch] Filter for AdvancedPreferences panel
| Reported by: | Igor Shubovych <igor.shubovych@…> | Owned by: | framm |
|---|---|---|---|
| Priority: | minor | 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)
Changed 4 years ago by Igor Shubovych <igor.shubovych@…>
comment:1 Changed 4 years ago by stoecker
- Resolution set to fixed
- Status changed from new to closed
Note: See
TracTickets for help on using
tickets.



In r1576.