Closed
Bug 1181772
Opened 11 years ago
Closed 10 years ago
Jump to result if search returns only one
Categories
(Webtools Graveyard :: DXR, defect)
Webtools Graveyard
DXR
Tracking
(firefox42 affected)
RESOLVED
DUPLICATE
of bug 1072920
| Tracking | Status | |
|---|---|---|
| firefox42 | --- | affected |
People
(Reporter: new_one, Assigned: new_one)
Details
It would be nice if a search with only one result is treated as a direct search if &redirect=true.
Example:
https://dxr.allizom.org/mozilla-central/search?q=%22interface+nsISupports+%22+ext%3Aidl+-path%3Adist returns only one result.
expected: jump directly to the result as we do currently for direct searchers.
Comment 1•11 years ago
|
||
After the objdir was added to the index, <filename>:1 no longer jumps directly to the file for files that are simply copied over to the objdir - because there are always at least two results.
Fixing this bug would allow me to do "<blah> -path:objdir" as a workaround.
| Assignee | ||
Updated•11 years ago
|
Assignee: nobody → peter.elmers
| Assignee | ||
Comment 2•11 years ago
|
||
I'll take this bug now, though it might not land until after path promotion (https://github.com/mozilla/dxr/pull/443) since there will be some overlap, e.g. do path results count? (I'm leaning toward no).
Comment 3•10 years ago
|
||
Dup of bug 1072920?
| Assignee | ||
Comment 4•10 years ago
|
||
Yep!
Status: NEW → RESOLVED
Closed: 10 years ago
Resolution: --- → DUPLICATE
Updated•5 years ago
|
Product: Webtools → Webtools Graveyard
You need to log in
before you can comment on or make changes to this bug.
Description
•