Re: [ jEdit-users ] Spacing between gutter border & start of line

[Clayton L. S. <te...@en...>]

Slava Pestov wrote:
> 
> "Clayton L. Scott" wrote:
>
> > Problem:
> > There is no empty space between the gutter border and the start of the
> > line in the editing area. That is, my display has the first character
> 
> I just have implemented a fix for this in the jEdit CVS. It adds a
> gap as wide as the gutter border between the 'real' border and
> the text area. Sounds good?

	This sounds good to me.

Clayton