Closed
Bug 1070228
Opened 11 years ago
Closed 10 years ago
filter_menu_items() should show only filters enabled for the tree
Categories
(Webtools Graveyard :: DXR, defect)
Tracking
(Not tracked)
RESOLVED
FIXED
People
(Reporter: erik, Unassigned)
Details
(Whiteboard: easy)
filter_menu_items() currently shows all filters all the time. Instead, pass it the current tree, and have it show only filters that are enabled for that tree (in other words, ones which were registered by plugins enabled for that tree).
This will make the Filters menu more relevant once we start adding more language support in earnest.
| Reporter | ||
Updated•11 years ago
|
Whiteboard: easy
Comment 1•10 years ago
|
||
Commit pushed to es at https://github.com/mozilla/dxr
https://github.com/mozilla/dxr/commit/2abde7cb7cbfa3e697438cd56843e759329a00a8
Merge in the limiting of filters to ones from enabled plugins. Close #373. Fix bug 1070228.
Updated•10 years ago
|
Status: NEW → RESOLVED
Closed: 10 years ago
Resolution: --- → FIXED
Comment 2•10 years ago
|
||
Commit pushed to master at https://github.com/mozilla/dxr
https://github.com/mozilla/dxr/commit/2abde7cb7cbfa3e697438cd56843e759329a00a8
Merge in the limiting of filters to ones from enabled plugins. Close #373. Fix bug 1070228.
Updated•4 years ago
|
Product: Webtools → Webtools Graveyard
You need to log in
before you can comment on or make changes to this bug.
Description
•