tree 5d36cc9c4c0e5f8a4ec40947ec2b46e1bc8044c0
parent 0b66d53a6f7a1ca03c79ede469e7c0d54367d1b7
author azerr <angelo.zerr@gmail.com> 1522827733 +0200
committer azerr <angelo.zerr@gmail.com> 1522827733 +0200

Bug 533192 - [CodeMining] Fix little bug with background of mining line
header when line is selected

Change-Id: I9ddbc1b76f9f829a5bfd336b3fa168fed22efe09
Signed-off-by: azerr <angelo.zerr@gmail.com>