[jedit:bugs] #4150 jEdit 5.7: Bug in "Global Options - Encodings Pane - line separator characte"-Dialog

This is a multi-part message in MIME format.
--===============0550260207682793536==
Content-Type: multipart/related; boundary="===============9068245263591485308=="

This is a multi-part message in MIME format.
--===============9068245263591485308==
Content-Type: multipart/alternative; boundary="===============2398271782413675569=="
MIME-Version: 1.0

--===============2398271782413675569==
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit

Fixed in jEdit 5.8pre1


---

**[bugs:#4150] jEdit 5.7: Bug in "Global Options - Encodings Pane - line separator characte"-Dialog**

**Status:** open
**Group:** Regressive \(new to devel\)
**Created:** Fri Jun 19, 2026 11:41 AM UTC by Andreas Wagner
**Last Updated:** Fri Jun 19, 2026 11:41 AM UTC
**Owner:** nobody


jEdit version number:  5.7.0
platform: Windows
Java version: not relevant - this problem occurs with Java 17 and Java 25, and probably with other versions as well.

error description: When I open the "Utilities - Global options - Encodings" dialog, no options are displayed in the "Default line separator" drop-down menu. In jEdit V5.5.0, the following options were available there: "Unix/MacOS (\n)", "DOS/Windows (\r\n)" and "Classic MacOS (\r)".
Specifing a global Default line separator is currently not possible for the user. If no line-end character is specified, the internal default "LF" (line feed - \n) is used. However, this is incorrect on Windows. The default in Windows must be "\r\n". If I now confirm the dialog by clicking OK, a line with "buffer.lineSeparator=" is added to the local properties file ("properties" file in the user-specific directory ".jEdit"). Even if I manually change the line in this properties file to "buffer.lineSeparator=\r\n" and jEdit thus uses the correct default for Windows, this line is always changed back to "buffer.lineSeparator=", if I open dialog "Utilities - Global options - Encodings" and press button "OK".

steps to reproduce:
1) Open Dialog "Utilities - Global options - Encodings"
2) Press button "OK"

expected result:
- In the ".Utilities - Global options - Encodings" dialog box, the following values ("Unix/MacOS (\n)", "DOS/Windows (\r\n)" and "Classic MacOS (\r)") must be selectable in V5.7.0, and depending on the operating system, the most appropriate value should be selected by default.
- Once a value has been changed, it should not be deleted from the user-specific "properties" file ("properties" file in the user-specific directory ".jEdit") if the dialog is closed with "OK" without making any changes. 


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.
--===============2398271782413675569==
MIME-Version: 1.0
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: 7bit

<div class="markdown_content"><p>Fixed in jEdit 5.8pre1</p>
<hr/>
<p><strong><a class="alink" href="https://sourceforge.net/p/jedit/bugs/4150/">[bugs:#4150]</a> jEdit 5.7: Bug in "Global Options - Encodings Pane - line separator characte"-Dialog</strong></p>
<p><strong>Status:</strong> open<br/>
<strong>Group:</strong> Regressive (new to devel)<br/>
<strong>Created:</strong> Fri Jun 19, 2026 11:41 AM UTC by Andreas Wagner<br/>
<strong>Last Updated:</strong> Fri Jun 19, 2026 11:41 AM UTC<br/>
<strong>Owner:</strong> nobody</p>
<p>jEdit version number:  5.7.0<br/>
platform: Windows<br/>
Java version: not relevant - this problem occurs with Java 17 and Java 25, and probably with other versions as well.</p>
<p>error description: When I open the "Utilities - Global options - Encodings" dialog, no options are displayed in the "Default line separator" drop-down menu. In jEdit V5.5.0, the following options were available there: "Unix/MacOS (\n)", "DOS/Windows (\r\n)" and "Classic MacOS (\r)".<br/>
Specifing a global Default line separator is currently not possible for the user. If no line-end character is specified, the internal default "LF" (line feed - \n) is used. However, this is incorrect on Windows. The default in Windows must be "\r\n". If I now confirm the dialog by clicking OK, a line with "buffer.lineSeparator=" is added to the local properties file ("properties" file in the user-specific directory ".jEdit"). Even if I manually change the line in this properties file to "buffer.lineSeparator=\r\n" and jEdit thus uses the correct default for Windows, this line is always changed back to "buffer.lineSeparator=", if I open dialog "Utilities - Global options - Encodings" and press button "OK".</p>
<p>steps to reproduce:<br/>
1) Open Dialog "Utilities - Global options - Encodings"<br/>
2) Press button "OK"</p>
<p>expected result:</p>
<ul>
<li>In the ".Utilities - Global options - Encodings" dialog box, the following values ("Unix/MacOS (\n)", "DOS/Windows (\r\n)" and "Classic MacOS (\r)") must be selectable in V5.7.0, and depending on the operating system, the most appropriate value should be selected by default.</li>
<li>Once a value has been changed, it should not be deleted from the user-specific "properties" file ("properties" file in the user-specific directory ".jEdit") if the dialog is closed with "OK" without making any changes. </li>
</ul>
<hr/>
<p>Sent from sourceforge.net because [email protected] is subscribed to <a href="https://sourceforge.net/p/jedit/bugs/">https://sourceforge.net/p/jedit/bugs/</a></p>
<p>To unsubscribe from further messages, a project admin can change settings at <a href="https://sourceforge.net/p/jedit/admin/bugs/options.">https://sourceforge.net/p/jedit/admin/bugs/options.</a>  Or, if this is a mailing list, you can unsubscribe from the mailing list.</p></div>
--===============2398271782413675569==--

--===============9068245263591485308==--


--===============0550260207682793536==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============0550260207682793536==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel

--===============0550260207682793536==--