Modify ↓
Opened 17 years ago
Closed 16 years ago
#244 closed enhancement (fixed)
[PATCH] Improved search function
Reported by: | kleptog | Owned by: | imi |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | unspecified | Version: | |
Keywords: | Cc: |
Description
Attached is a patch to improve JOSMs search function. Changes are:
- Precedence: (A OR B C) is now interpreted as (A OR (B C)) and not ((A OR B) C) as it is currently
- Parenthesis: You can use brackets to group expressions, just like normal expressions
- New user search: "user:foo" returns anything done by user "foo". user:"" match anonymous edits.
Hopefully this will make it a little more logical for doing complex searches.
Attachments (1)
Change History (2)
by , 17 years ago
Attachment: | josm-search.patch added |
---|
comment:1 by , 16 years ago
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note:
See TracTickets
for help on using tickets.
Does no longer apply.