mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-23 17:05:26 +02:00
Code Issues Wiki Activity

Use unique preference keys for occurrences and override annotations, related to bugs 324905 and 320561

Browse source
This commit is contained in:
Anton Leherbauer 2010-10-01 12:39:24 +00:00
parent f098e64803
commit 6f4c249382
1 changed files with 24 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

48
core/org.eclipse.cdt.ui/plugin.xml
View file

@ -2612,67 +2612,67 @@
annotationType="org.eclipse.cdt.ui.occurrences"
label="%OccurrenceAnnotation.label"
icon="$nl$/icons/obj16/searchm_obj.gif"
textPreferenceKey="occurrenceIndication"
textPreferenceKey="org.eclipse.cdt.ui.occurrenceIndication"
textPreferenceValue="false"
highlightPreferenceKey="occurrenceHighlighting"
highlightPreferenceKey="org.eclipse.cdt.ui.occurrenceHighlighting"
highlightPreferenceValue="true"
contributesToHeader="false"
overviewRulerPreferenceKey="occurrenceIndicationInOverviewRuler"
overviewRulerPreferenceKey="org.eclipse.cdt.ui.occurrenceIndicationInOverviewRuler"
overviewRulerPreferenceValue="true"
verticalRulerPreferenceKey="occurrenceIndicationInVerticalRuler"
verticalRulerPreferenceKey="org.eclipse.cdt.ui.occurrenceIndicationInVerticalRuler"
verticalRulerPreferenceValue="false"
colorPreferenceKey="occurrenceIndicationColor"
colorPreferenceKey="org.eclipse.cdt.ui.occurrenceIndicationColor"
colorPreferenceValue="212,212,212"
presentationLayer="4"
showInNextPrevDropdownToolbarActionKey="showOccurrenceInNextPrevDropdownToolbarAction"
showInNextPrevDropdownToolbarActionKey="org.eclipse.cdt.ui.showOccurrenceInNextPrevDropdownToolbarAction"
showInNextPrevDropdownToolbarAction="true"
isGoToNextNavigationTargetKey="isOccurrenceGoToNextNavigationTarget"
isGoToNextNavigationTargetKey="org.eclipse.cdt.ui.isOccurrenceGoToNextNavigationTarget"
isGoToNextNavigationTarget="false"
isGoToPreviousNavigationTargetKey="isOccurrenceGoToPreviousNavigationTarget"
isGoToPreviousNavigationTargetKey="org.eclipse.cdt.ui.isOccurrenceGoToPreviousNavigationTarget"
isGoToPreviousNavigationTarget="false"
textStylePreferenceKey="occurrenceTextStyle"
textStylePreferenceKey="org.eclipse.cdt.ui.occurrenceTextStyle"
textStylePreferenceValue="NONE">
</specification>
<specification
annotationType="org.eclipse.cdt.ui.occurrences.write"
label="%WriteOccurrenceAnnotation.label"
textPreferenceKey="occurrenceIndication"
textPreferenceKey="org.eclipse.cdt.ui.occurrenceIndication"
textPreferenceValue="false"
highlightPreferenceKey="writeOccurrenceHighlighting"
highlightPreferenceKey="org.eclipse.cdt.ui.writeOccurrenceHighlighting"
highlightPreferenceValue="true"
overviewRulerPreferenceKey="writeOccurrenceIndicationInOverviewRuler"
overviewRulerPreferenceKey="org.eclipse.cdt.ui.writeOccurrenceIndicationInOverviewRuler"
overviewRulerPreferenceValue="true"
verticalRulerPreferenceKey="writeOccurrenceIndicationInVerticalRuler"
verticalRulerPreferenceKey="org.eclipse.cdt.ui.writeOccurrenceIndicationInVerticalRuler"
verticalRulerPreferenceValue="false"
colorPreferenceKey="writeOccurrenceIndicationColor"
colorPreferenceKey="org.eclipse.cdt.ui.writeOccurrenceIndicationColor"
colorPreferenceValue="240, 216, 168"
presentationLayer="4"
textStylePreferenceKey="writeOccurrenceTextStyle"
textStylePreferenceKey="org.eclipse.cdt.ui.writeOccurrenceTextStyle"
textStylePreferenceValue="NONE">
</specification>
<specification
annotationType="org.eclipse.cdt.ui.overrideIndicator"
label="%overrideAnnotation.label"
annotationImageProvider ="org.eclipse.cdt.internal.ui.editor.OverrideIndicatorImageProvider"
textPreferenceKey="overrideIndicator"
textPreferenceKey="org.eclipse.cdt.ui.overrideIndicator"
textPreferenceValue="false"
highlightPreferenceKey="overrideIndicatorHighlighting"
highlightPreferenceKey="org.eclipse.cdt.ui.overrideIndicatorHighlighting"
highlightPreferenceValue="false"
contributesToHeader="false"
overviewRulerPreferenceKey="overrideIndicatorInOverviewRuler"
overviewRulerPreferenceKey="org.eclipse.cdt.ui.overrideIndicatorInOverviewRuler"
overviewRulerPreferenceValue="false"
verticalRulerPreferenceKey="overrideIndicatorInVerticalRuler"
verticalRulerPreferenceKey="org.eclipse.cdt.ui.overrideIndicatorInVerticalRuler"
verticalRulerPreferenceValue="true"
colorPreferenceKey="overrideIndicatorColor"
colorPreferenceKey="org.eclipse.cdt.ui.overrideIndicatorColor"
colorPreferenceValue="180,207,205"
presentationLayer="3"
showInNextPrevDropdownToolbarActionKey="showoverrideIndicatorInNextPrevDropdownToolbarAction"
showInNextPrevDropdownToolbarActionKey="org.eclipse.cdt.ui.showoverrideIndicatorInNextPrevDropdownToolbarAction"
showInNextPrevDropdownToolbarAction="false"
isGoToNextNavigationTargetKey="isOverrideIndicatorGoToNextNavigationTarget"
isGoToNextNavigationTargetKey="org.eclipse.cdt.ui.isOverrideIndicatorGoToNextNavigationTarget"
isGoToNextNavigationTarget="false"
isGoToPreviousNavigationTargetKey="isOverrideIndicatorGoToPreviousNavigationTarget"
isGoToPreviousNavigationTargetKey="org.eclipse.cdt.ui.isOverrideIndicatorGoToPreviousNavigationTarget"
isGoToPreviousNavigationTarget="false"
textStylePreferenceKey="overrideIndicatorTextStyle"
textStylePreferenceKey="org.eclipse.cdt.ui.overrideIndicatorTextStyle"
textStylePreferenceValue="SQUIGGLES">
</specification>
</extension>