On Monday, May 18, 2020 at 6:25:03 AM UTC-5, Edward K. Ream wrote:

> 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.

Done at rev e7f2e02 in devel. All my hand tests pass.

The new setting is @bool use-german-keyboard, with False as the default. 
You should set it to True when 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/031fb343-775c-4d27-9946-d3a488d4da1b%40googlegroups.com.

Reply via email to