Fix the encoding of escaped characters in glossary
Fix the encoding of escaped characters in the help format
Fix the scrollbars not selectable in the swing JavaFX help component after showing the search
Improve the layout of pre content (reduce the space at the left before the spans when possible)
Last edit: Hervé Girod 2024-09-04
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Fix the encoding of escaped characters in glossary
Fix the encoding of escaped characters in the help format
Fix the scrollbars not selectable in the swing JavaFX help component after showing the search
Improve the layout of pre content (reduce the space at the left before the spans when possible)
Last edit: Hervé Girod 2024-09-04