Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 558876

Summary: No F1 doc context for the Editor and children preference page
Product: [Eclipse Project] JDT Reporter: Mickael Istria <mistria>
Component: DocAssignee: JDT-Doc-Inbox <jdt-doc-inbox>
Status: CLOSED WORKSFORME QA Contact:
Severity: normal    
Priority: P3    
Version: 4.13   
Target Milestone: ---   
Hardware: All   
OS: All   
Whiteboard: stalebug

Description Mickael Istria CLA 2020-01-07 05:57:33 EST 
Trying to get documentation for preference page related to Java editor brings the default help for preference page.
The documentation should define help context, and the preference page should refer to them.
Comment 1 Eclipse Genie CLA 2021-12-28 16:21:16 EST 
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.

--
The automated Eclipse Genie.
Comment 2 Mickael Istria CLA 2022-01-02 16:13:52 EST 
Cannot reproduce.