Community
Participate
Working Groups
Update F1 help documentation to add the new options for annotations as code minings in org.eclipse.platform.doc.user/reference/ref-texteditorprefs.htm.
Mickael, can you prepare a fix (but don't merge). In case we do need another build we can pick this up.
(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.
New Gerrit change created: https://git.eclipse.org/r/153974
@Dani: do you want to include it in the respin?
(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.
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