Kevin Sawicki 905002cd58 Highlight foreground of selected line numbers ...

Previously no gutter highlight was displayed unless
the selection was empty.

Now there is a separate CSS class for no selection
that changes the background color independently
from the foreground color.

2012-12-22 22:06:46 -08:00

2.2 KiB

Raw Blame History

View Raw