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&#39;t a setting for it, but here is one way to a=
dd that space. In jEdit, use the Utilities menu: Utilities -&gt; Settings D=
irectory -&gt; properties. This will open your properties file for editing.=
 Find &quot;view.gutter.borderWidth&quot; 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 &lt;<a href=3D"mailto:[email protected]" target=3D"_blank">[email protected]=
m</a>&gt; 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&#39; 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==--