mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +02:00
Keep the annoations for now.
Note to self: reverse this right before M7.
This commit is contained in:
parent
e8eb7cd78b
commit
9d13cdeb95
1 changed files with 2 additions and 4 deletions
|
@ -1347,19 +1347,17 @@
|
||||||
indexerID="org.eclipse.cdt.core.nullindexer"
|
indexerID="org.eclipse.cdt.core.nullindexer"
|
||||||
name="%CDTIndexer.nullindexer"
|
name="%CDTIndexer.nullindexer"
|
||||||
id="org.eclipse.cdt.ui.nullindexerUI"/>
|
id="org.eclipse.cdt.ui.nullindexerUI"/>
|
||||||
<indexerUI
|
<!--TODO reverse this <indexerUI
|
||||||
class="org.eclipse.cdt.ui.dialogs.NullIndexerBlock"
|
class="org.eclipse.cdt.ui.dialogs.NullIndexerBlock"
|
||||||
id="org.eclipse.cdt.ui.DOMASTSourceIndexerUI"
|
id="org.eclipse.cdt.ui.DOMASTSourceIndexerUI"
|
||||||
indexerID="org.eclipse.cdt.core.domsourceindexer"
|
indexerID="org.eclipse.cdt.core.domsourceindexer"
|
||||||
name="%CDTIndexer.domsourceindexer"/>
|
name="%CDTIndexer.domsourceindexer"/>
|
||||||
<!-- to enable indexer problem markers property page
|
-->
|
||||||
uncomment this entry and comment the previous one
|
|
||||||
<indexerUI
|
<indexerUI
|
||||||
class="org.eclipse.cdt.ui.dialogs.SourceIndexerBlock"
|
class="org.eclipse.cdt.ui.dialogs.SourceIndexerBlock"
|
||||||
id="org.eclipse.cdt.ui.DOMASTSourceIndexerUI"
|
id="org.eclipse.cdt.ui.DOMASTSourceIndexerUI"
|
||||||
indexerID="org.eclipse.cdt.core.domsourceindexer"
|
indexerID="org.eclipse.cdt.core.domsourceindexer"
|
||||||
name="%CDTIndexer.domsourceindexer"/>
|
name="%CDTIndexer.domsourceindexer"/>
|
||||||
-->
|
|
||||||
<indexerUI
|
<indexerUI
|
||||||
class="org.eclipse.cdt.ui.dialogs.CTagsIndexerBlock"
|
class="org.eclipse.cdt.ui.dialogs.CTagsIndexerBlock"
|
||||||
indexerID="org.eclipse.cdt.core.ctagsindexer"
|
indexerID="org.eclipse.cdt.core.ctagsindexer"
|
||||||
|
|
Loading…
Add table
Reference in a new issue