jkozera/zeal — pull request #7 by Kapeli (2013-03-27 05:07:00+00:00)
Title: Add Dash anchors even if "Defined in" another class

The Dash anchors are used to build the page's table of contents. As this table of contents is shown when the user is actually seeing that page, it's supposed to show everything that is on that page, so "don't index if Defined in other" does not apply to these anchors.