On Sun, May 17, 2020 at 1:27 PM Viktor Ransmayr <[email protected]> wrote:
> I've installed your previous attempt to resolve the issue locally on my system - and - was trying to come up with tasks/tests that I could perform to help. - I failed (as a Leo user) ... If I understand you correctly, you were satisfied with my previous fix. I backed out of that fix, so the present code will not work for you. I intend to fix the issue today, by adding a new setting. > Is it possible that this issue no longer reflects the initial (much simpler) user problem? No. The code involved has always been confined to filter.doAltTweaks. The fix will involve a tweak *only* to colons and semicolons (shift-comma and shift-period). This fix will be in effect* only* when the new setting tells Leo that you are using a German keyboard. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0%3DnPZsnZhfuJhtbtZGohpudhVx2r7TZSCMiS8mw-6gdA%40mail.gmail.com.
