When deleting a block of leading characters from the DOI field, one extra character is removed

[chhei]

JabRef version

5.15 (latest release)

Operating system

macOS

Details on version and operating system

macOS 12.7.5

Checked with the latest development build (copy version output from About dialog)

• I made a backup of my libraries before testing the latest development version.
• I have tested the latest development version and the problem persists

Steps to reproduce the behaviour

When deleting the beginning of a string in the DOI field in the editor, an additional character is removed.

Example:

DOI entry prior to editing: https://doi.org/10.1016/j.marpetgeo.2014.02.006 -> then highlighting https://doi.org/ by placing cursor between / and 1 and pressing Command + Shift + Left arrow followed by Delete to delete the string. Result is 0.1016/j.marpetgeo.2014.02.006 (1 additional character removed, rendering DOI invalid). Pressing UNDO returns the leading 1.

See attached screencast:

JabRef_ChangingDOIEntry.mov

Appendix

...

Log File

Paste an excerpt of your log file here

[chhei]

Doing the same using the mouse (Shift+Click) works fine.

Screen.Recording.2024-12-01.at.11.01.04.mov