Summary: | Configurable (TODO) Markers priority in takslist | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Johan Compagner <jcompagner> |
Component: | Core | Assignee: | Jerome Lanneluc <jerome_lanneluc> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | ||
Version: | 2.0.2 | ||
Target Milestone: | 2.1 M2 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Whiteboard: |
Description
Johan Compagner
2002-09-19 04:12:16 EDT
We are indeed planning on letting you associate severities to each tag. For now, they are using NORMAL severity. I don't think they should stand in front of errors either. Changed title Option added to JavaCore: * COMPILER / Define the Automatic Task Priorities * In parallel with the Automatic Task Tags, this list defines the priorities (high, normal or low) * of the task markers issued by the compiler. * If the default is specified, the priority of each task marker is "NORMAL". * - option id: org.eclipse.jdt.core.compiler.taskPriorities" * - possible values: { "<priority>[,<priority>]*" } where <priority> is one of "HIGH", "NORMAL" or "LOW" * - default: "" Enterered bug 24745 for surfacing this option in the UI. Verified. |