commit | f430604e34b66e51471aa26c0c61053408afeac2 | [log] [tgz] |
---|---|---|
author | azerr <angelo.zerr@gmail.com> | Wed May 02 19:43:54 2018 +0200 |
committer | azerr <angelo.zerr@gmail.com> | Wed May 02 19:43:54 2018 +0200 |
tree | bfb5c8b00f7ee1bea4d9b3edc435ad934eaaf8b8 | |
parent | 1e4cfad8585c02304633b2be77c5d7278fec36f0 [diff] |
Bug 534276 - [code mining] Draw of line which have line header annotation are sometimes not drawn with Dark theme Change-Id: I8a546849af1498ab899587c82fae9930a7da043e Signed-off-by: azerr <angelo.zerr@gmail.com>