[jedit:bugs] #4150 jEdit 5.7: Bug in "Global Options - Encodings Pane - line separator characte"-Dialog
Andreas Wagner via jEdit-devel <[email protected]> Fri, 19 Jun 2026 11:41:33 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--===============4328655510077493051==
Content-Type: multipart/related; boundary="===============0736220082940895668=="
This is a multi-part message in MIME format.
--===============0736220082940895668==
Content-Type: multipart/alternative; boundary="===============1651465621065234620=="
MIME-Version: 1.0
--===============1651465621065234620==
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
---
**[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.
--===============1651465621065234620==
MIME-Version: 1.0
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: 7bit
<div class="markdown_content"><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>
--===============1651465621065234620==--
--===============0736220082940895668==--
--===============4328655510077493051==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
--===============4328655510077493051==
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
--===============4328655510077493051==--