Re: Space between and line numbers and beginning of code
Dale Anson <[email protected]> Sat, 27 Dec 2025 14:47:47 -0700
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAHrA0wC1yBYP9GM9aH6L7jb398MtUiyZ-UfVGd9jnrd4sUpm4g@mail.gmail.com> |
--===============5141618844643290657== Content-Type: multipart/alternative; boundary="000000000000a7a56f0646f5f60f" --000000000000a7a56f0646f5f60f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable There isn't a setting for it, but here is one way to add that space. In jEdit, use the Utilities menu: Utilities -> Settings Directory -> properties. This will open your properties file for editing. Find "view.gutter.borderWidth" and change that value to what you find appropriate, probably 2 or 3. Save the change, restart jEdit. The default for that value is 0 in case you want to change it back later. On Fri, Dec 26, 2025 at 2:47=E2=80=AFPM Barry Newberger <[email protected]> = wrote: > Is there a way to adjust the spacing between the line numbers and the > first character in line of code? > -- > ----------------------------------------------- > jEdit Users' List > [email protected] > https://lists.sourceforge.net/lists/listinfo/jedit-users > --000000000000a7a56f0646f5f60f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">There isn't a setting for it, but here is one way to a= dd that space. In jEdit, use the Utilities menu: Utilities -> Settings D= irectory -> properties. This will open your properties file for editing.= Find "view.gutter.borderWidth" and change that value to what you= find appropriate, probably 2 or 3. Save the change, restart jEdit. The def= ault for that value is 0 in case you want to change it back later.<div><br>= </div><div><br></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" = class=3D"gmail_attr">On Fri, Dec 26, 2025 at 2:47=E2=80=AFPM Barry Newberge= r <<a href=3D"mailto:[email protected]" target=3D"_blank">[email protected]= m</a>> wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin= :0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"= ><div dir=3D"ltr">Is there a way to adjust the spacing between the line num= bers and the first character in line of code?</div> -- <br> -----------------------------------------------<br> jEdit Users' List<br> <a href=3D"mailto:[email protected]" target=3D"_blank">jEdi= [email protected]</a><br> <a href=3D"https://lists.sourceforge.net/lists/listinfo/jedit-users" rel=3D= "noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo= /jedit-users</a><br> </blockquote></div> --000000000000a7a56f0646f5f60f-- --===============5141618844643290657== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============5141618844643290657== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users --===============5141618844643290657==--