Community
Participate
Working Groups
Currently the preference is shown on the "Hovers" page, but it should be on the "Editor" page and renamed to "Report problems as you type" (see JDT).
Fixed in HEAD.
*** cdt cvs genie on behalf of aleherbau *** Bug 322755 - Move "Editor problem annotation" preference [*] CEditorHoverConfigurationBlock.java 1.17 http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.cdt-core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/CEditorHoverConfigurationBlock.java?root=Tools_Project&r1=1.16&r2=1.17 [*] PreferencesMessages.properties 1.98 http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.cdt-core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/PreferencesMessages.properties?root=Tools_Project&r1=1.97&r2=1.98 [*] CEditorPreferencePage.java 1.78 http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.cdt-core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencePage.java?root=Tools_Project&r1=1.77&r2=1.78