Modify ↓
Opened 18 years ago
Closed 17 years ago
#740 closed enhancement (fixed)
better feedback after search
| Reported by: | dnaber | Owned by: | framm |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | Core | Version: | |
| Keywords: | usability | Cc: |
Description
Patch to give user feedback after search, especially if there were no matches
Attachments (1)
Change History (2)
by , 18 years ago
| Attachment: | josm-search-feedback.diff added |
|---|
comment:1 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note:
See TracTickets
for help on using tickets.



Added in r939.