-
Daniel Teske authored
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>
407e1eaa