Bug 24745 - Surface priority configuration of task markers
Summary: Surface priority configuration of task markers
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 2.0   Edit
Hardware: PC Windows 2000
: P3 normal (vote)
Target Milestone: 2.1 M3   Edit
Assignee: Martin Aeschlimann CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2002-10-14 07:43 EDT by Jerome Lanneluc CLA
Modified: 2002-11-14 08:54 EST (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jerome Lanneluc CLA 2002-10-14 07:43:20 EDT 
Build 20021015

A new option in JavaCore allows to set the priority of the task markers(see bug 
23812). This should be surface in the Compiler/Extra Marker preferences.
Comment 1 Martin Aeschlimann CLA 2002-10-28 14:12:39 EST 
added UI > 20021028