summaryrefslogtreecommitdiff
path: root/src/plugins/projectexplorer/taskhub.cpp
diff options
context:
space:
mode:
authorDaniel Teske <daniel.teske@nokia.com>2012-02-29 13:27:02 +0100
committerDaniel Teske <daniel.teske@nokia.com>2012-03-01 12:07:07 +0100
commit407e1eaa9fec8faca31b7a89f868662abf50c689 (patch)
treeb9dd6911e8cd2d26cbe684ef03470bd6c1603b1f /src/plugins/projectexplorer/taskhub.cpp
parent9ca38374eab89be017d1a46215969aa81fe056d9 (diff)
downloadqt-creator-407e1eaa9fec8faca31b7a89f868662abf50c689.tar.gz
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 <eike.ziller@nokia.com>
Diffstat (limited to 'src/plugins/projectexplorer/taskhub.cpp')
-rw-r--r--src/plugins/projectexplorer/taskhub.cpp2
1 files changed, 1 insertions, 1 deletions
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);