-
Thorbjørn Lindeijer authored
This background color is also used for right margin background and folded code popup. Not setting any resulted in weird affects in those places.
0662ba39
This background color is also used for right margin background and folded code popup. Not setting any resulted in weird affects in those places.