Allow filtering references. This is particularly useful when finding a reference you want to add an additional citation to.
Description
Description
Details
Details
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
Add field to filter references | wikipedia/gadgets/ProveIt | master | +65 -43 |
Related Objects
Related Objects
Event Timeline
Comment Actions
Nice idea, I have some design decision. Search text = 'Some text for example'. Also when you click on a red rectangle near a 'list' tab then all bad templates (red ones) will be hidden.
Comment Actions
Change 353180 had a related patch set uploaded (by Sophivorus; owner: Sophivorus):
[wikipedia/gadgets/ProveIt@master] Add field to filter references
Comment Actions
Change 353180 merged by Sophivorus:
[wikipedia/gadgets/ProveIt@master] Add field to filter references