From 407e1eaa9fec8faca31b7a89f868662abf50c689 Mon Sep 17 00:00:00 2001 From: Daniel Teske Date: Wed, 29 Feb 2012 13:27:02 +0100 Subject: Marks: If there are more then 3 marks, paint the highest priority Also make the mark area 2 pixels wider so that 3 marks fit. And adjust the priorities of marks, so that bookmarks and breakpoints are visible even if there are multiple tasks on the line. Change-Id: Ie8e3e7fa4db262c4243fb61772b6373ea283f1c9 Reviewed-by: Eike Ziller --- src/plugins/projectexplorer/taskhub.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/plugins/projectexplorer/taskhub.cpp') diff --git a/src/plugins/projectexplorer/taskhub.cpp b/src/plugins/projectexplorer/taskhub.cpp index 6f22394523..6717f4b285 100644 --- a/src/plugins/projectexplorer/taskhub.cpp +++ b/src/plugins/projectexplorer/taskhub.cpp @@ -93,7 +93,7 @@ void TaskHub::addTask(Task task) bool visible = (task.type == Task::Warning || task.type == Task::Error); TaskMark *mark = new TaskMark(task.taskId, task.file.toString(), task.line, visible); mark->setIcon(taskTypeIcon(task.type)); - mark->setPriority(TextEditor::ITextMark::HighPriority); + mark->setPriority(TextEditor::ITextMark::LowPriority); task.addMark(mark); } emit taskAdded(task); -- cgit v1.2.1