|
From: Clayton L. S. <te...@en...> - 2000-06-25 03:27:02
|
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 |