Confirmed users
574
edits
DXR UI Refresh: Difference between revisions
m
→Search: speeling
(Found out why jruderman needed to load all search results onto the page at once.) |
m (→Search: speeling) |
||
| Line 40: | Line 40: | ||
* (1) Move to a line-based search, as proposed in https://github.com/mozilla/dxr/pull/161#issuecomment-25201532. | * (1) Move to a line-based search, as proposed in https://github.com/mozilla/dxr/pull/161#issuecomment-25201532. | ||
** This should solve | ** This should solve jruderman's need to sometimes load ''all'' the search results onto the page and then cmd-F through them. | ||
* (2) A way to semantically include double quotes in the search string: the parser shouldn't always eat them. | * (2) A way to semantically include double quotes in the search string: the parser shouldn't always eat them. | ||
* (3) Just typing a filename (or path segment?) without a path: specifier should find files by name or path. | * (3) Just typing a filename (or path segment?) without a path: specifier should find files by name or path. | ||