[#909] Add missing keys for enabling go to next / previous annotation actions

[travkin79]

Fix for #909

[ghentschke]

Could you please keep the line indention of the document. That makes it easier to track the changes and keeps the original formatting.

[travkin79]

Yes, I reverted my line indentation changes. But I suggest to fix the indentation characters after merging the PR. Otherwise, mixing tabs and spaces leads to different indentation results depending on the IDE settings.

[ghentschke]

Sorry, I think we have a misunderstanding. I mean the newly added lines should use the same format as the lines from the existing document (tab instead of spaces for the new lines as well):

   <extension point="org.eclipse.ui.editors.markerAnnotationSpecification">
		<specification annotationType="org.eclipse.lsp4e.read"
			label="LSP Read Occurrence"
			textPreferenceKey="LSP4EReadOccurrenceIndication" textPreferenceValue="false"
			highlightPreferenceKey="LSP4EReadOccurrenceHighlighting"
			highlightPreferenceValue="true" contributesToHeader="false"
			overviewRulerPreferenceKey="LSP4EReadOccurrenceIndicationInOverviewRuler"
			overviewRulerPreferenceValue="true"
			verticalRulerPreferenceKey="LSP4EReadOccurrenceIndicationInVerticalRuler"
			verticalRulerPreferenceValue="false" colorPreferenceKey="LSP4EReadOccurrenceIndicationColor"
			colorPreferenceValue="212,212,212" presentationLayer="4"
			showInNextPrevDropdownToolbarAction="true"
			showInNextPrevDropdownToolbarActionKey="org.eclipse.lsp4e.read.showInNextPrevDropdownToolbarAction"
			isGoToNextNavigationTarget="true"
			isGoToNextNavigationTargetKey="org.eclipse.lsp4e.read.isGoToNextNavigationTarget"
			isGoToPreviousNavigationTarget="true"
			isGoToPreviousNavigationTargetKey="org.eclipse.lsp4e.read.isGoToPreviousNavigationTarget"
			textStylePreferenceKey="LSP4EReadOccurrenceTextStyle"
			textStylePreferenceValue="NONE">
		</specification>
   </extension>

Otherwise, mixing tabs and spaces leads to different indentation results depending on the IDE settings.

Yes, this should be done in a separate issue, I guess.

[travkin79]

I adapted the white space indentation characters to those previously used, tabs in this case.

[ghentschke]

@mickaelistria any other concerns from your side?

[mickaelistria]

No concern at all, feel free to merge whenever you're ready.

[ghentschke]

@travkin79 Thank you!