Thank you for the screen shot and further information; i have a new editor.jar for you to test which should address your problem - though if you’re already on vacation, we might have a dot-dot release with the fix in it by the time you return.
(bonnes vacances!)