paint line numbers with line highlighter foreground color
added a small gap in front of line numbers
made public for upsource
implement EncodingManager for Upsource
unused key removed
made Encoding*Manager available for Upsource