-
Thorbjørn Lindeijer authored
Make the background of the files and line numbers adapt to the background color. Making it darker only works nicely for non-dark backgrounds, but it's better than hardcoding a light background. The highlight of the search results still has to be fixed. (cherry picked from commit 83974d89)
aefa1485