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

[Andreas Wagner]

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.

[Alan Ezust]

Fixed in jEdit 5.8pre1

[Andreas Wagner]

Thanks for the information. Is there already a plan for when 5.8 will be the new stable version?