diff options
author | Daniel Teske <daniel.teske@nokia.com> | 2012-02-29 13:27:02 +0100 |
---|---|---|
committer | Daniel Teske <daniel.teske@nokia.com> | 2012-03-01 12:07:07 +0100 |
commit | 407e1eaa9fec8faca31b7a89f868662abf50c689 (patch) | |
tree | b9dd6911e8cd2d26cbe684ef03470bd6c1603b1f /src/plugins/projectexplorer/taskhub.cpp | |
parent | 9ca38374eab89be017d1a46215969aa81fe056d9 (diff) | |
download | qt-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.cpp | 2 |
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); |