Bug 553481

Summary:	Add new options for annotations as code minings to F1 help documentation
Product:	[Eclipse Project] Platform	Reporter:	Noopur Gupta <noopur_gupta>
Component:	Text	Assignee:	Mickael Istria <mistria>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	daniel_megert
Version:	4.14	Keywords:	Documentation
Target Milestone:	4.15 M1
Hardware:	All
OS:	All
See Also:	https://git.eclipse.org/r/153974 https://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=e0a498750f94cec99524828ba8e06f135551640f
Whiteboard:
Bug Depends on:	547665
Bug Blocks:

Description Noopur Gupta

2019-11-26 06:24:29 EST

Update F1 help documentation to add the new options for annotations as code minings in org.eclipse.platform.doc.user/reference/ref-texteditorprefs.htm.

Comment 1 Dani Megert

2019-12-05 04:50:40 EST

Mickael, can you prepare a fix (but don't merge). In case we do need another build we can pick this up.

Comment 2 Mickael Istria

2019-12-06 03:14:49 EST

(In reply to Dani Megert from comment #1)
> Mickael, can you prepare a fix (but don't merge). In case we do need another
> build we can pick this up.

Yes, I'm on it.

Comment 3 Eclipse Genie

2019-12-06 04:30:03 EST

New Gerrit change created: https://git.eclipse.org/r/153974

Comment 4 Mickael Istria

2019-12-09 12:24:29 EST

@Dani: do you want to include it in the respin?

Comment 5 Dani Megert

2019-12-10 04:37:03 EST

(In reply to Mickael Istria from comment #4)
> @Dani: do you want to include it in the respin?
No. We decided to only include that single fix for the filter issue.

Comment 6 Eclipse Genie

2019-12-10 14:51:59 EST

Gerrit change https://git.eclipse.org/r/153974 was merged to [master].
Commit: http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=e0a498750f94cec99524828ba8e06f135551640f