Opened 19 years ago
Closed 19 years ago
#2632 closed enhancement (fixed)
Ability for search sources to not be in the default search set
| Reported by: | Alec Thomas | Owned by: | Christian Boos |
|---|---|---|---|
| Priority: | normal | Milestone: | 0.10 |
| Component: | search system | Version: | devel |
| Severity: | normal | Keywords: | |
| Cc: | Branch: | ||
| Release Notes: | |||
| API Changes: | |||
| Internal Changes: | |||
Description
For heavyweight searches (such as the one provided by the repository search plugin) the search filter should be disabled by default as it is quite CPU intensive.
Attachments (1)
Change History (7)
by , 19 years ago
| Attachment: | disable-searchsource.diff added |
|---|
comment:1 by , 19 years ago
| Type: | defect → enhancement |
|---|
comment:2 by , 19 years ago
Alec: that would be a good reason to use an indexer like Gonzui mentioned in #2271.
comment:3 by , 19 years ago
Agreed, and I did have a look at that ticket earlier. However, the same issue came up with the PyDoc plugin; it is very intensive and pretty much most of the time people do not want to search through the Python documentation.
comment:4 by , 19 years ago
| Milestone: | 0.9.4 → 0.10 |
|---|---|
| Owner: | changed from to |
The patch looks good, but I think we should be consistent in not adding new features for 0.9-stable.
comment:5 by , 19 years ago
Agreed, I've got to remember to set the milestone correctly when spamming new tickets ;)
comment:6 by , 19 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Patch applied in r3001. I also checked that it works with the TracHacks:PyDocPlugin.
Patch implementing feature request