Houssem Nasri
Houssem Nasri
This can be done by changing the default diff separator to the groups separator `, ` when highlighting groups differences. This can be useful for highlighting keywords and files differences...
No, they are totally different. The diff highlighter separator can be either a space or an empty string. It's used for splitting the text before comparison. For example for diffing...
It appears to be a known JavaFX issue involving Alert dialogs; it was reported in OpenJFX 11 and ~~fixed~~ targeted to OpenJFX 19 - [Alert disables Tab selection when TabDragPolicy...
> it is targeted for javafx19, but there is not, yet, any PR linked to it Thank you for the clarification, this explains why updating to version 19-ea+6 didn't fix...
The bug still present in JavaFX 19 release version. It is targeted to be fixed in version 20. A pull request has already been submitted to address it: https://github.com/openjdk/jfx/pull/895
I wouldn't use the DiffMode enum in GuiPreferences, as the new three-way merge dialog uses a different approach for differences highlighting. Also, once all dialogs are converted to use the...
~~I'm curious what preferences change the bib file?~~ I see, the citation key patterns are encoded as metadata in the library file.
Refs #6190
Might be related https://github.com/JabRef/jabref/issues/7392#issuecomment-902222582
- Similar to #8872