Please test the ekr-abbrev branch with Spanish keyboards

[Edward K. Ream]

Continuing a previous discussion, the ekr-abbrev branch attempts to support Spanish keyboards. This is part of #1563.

If you use a Spanish keyboard, please set @bool use-spanish-keyboard = True. Abbreviations should now work.

The initial report also mentioned problems with Ctrl-`. These problems probably still persist. If so, please report exactly what keys you press to type Ctrl-`. It's not clear from the wikipedia page what those keys are. The left quote (`) is shown in red, but it's not clear what that means.

Edward

[Rob]

Not just Spanish keyboards. Often, my keyboard will switch to English-International and the abbreviation shortcuts don't work (I use the back-quote, `, for some). The easy fix has been to switch the KB back to plain English. I understand why that would be a problem if one needed that KB, though.

Rob...

[Edward K. Ream]

On Wed, Mar 24, 2021 at 2:26 PM Rob <lar...@gmail.com> wrote:

Not just Spanish keyboards. Often, my keyboard will switch to English-International and the abbreviation shortcuts don't work (I use the back-quote, `, for some). The easy fix has been to switch the KB back to plain English. I understand why that would be a problem if one needed that KB, though.

I'm finally getting around to this.

The wikipedia has a description of the US-International keyboard. Note the keys in red. If I read the description correctly, the red keys are dead keys.

Is this the keyboard you are describing?

Edward

[Rob]

Yes, the red keys are 'dead keys'.

Rob...

[Edward K. Ream]

On Sunday, April 4, 2021 at 1:21:16 PM UTC-5 Rob wrote:

Yes, the red keys are 'dead keys'.

Rob, I don't see any "international" keyboard layout on Windows 10. What OS are you using? Do you have a link to more info for your keyboard?

Edward

[Rob]

I'm not home now (only have a MacBook w/ me). My Win10 OS has a KB in the list called 'Eng Intnl' or something to that effect. The list can be invoked using the Windows+space key combination as I recall. I can verify when we get home, perhaps get a screenshot if that helps.

[tbp1...@gmail.com]

Not on my Win 10 OS, though.  Windows+Spacebar doesn't bring up anything.  There is a Settings page for keyboard and regional settings (Edit Language and Keyboard Settings).  It has many different varieties of English (e.g., English (Botswana)), but I didn't find a "International" option.

Differences between what you and I have might be due to different upgrade levels, I guess.  Mine is Version 10.0.19042 Build 19042, updated in March 2021with a "Quality Update" V 20H2.

[Rob]

I've had that KB option for a very long time, so I doubt it's a Win10 version difference. I seem to remember setting that a long time ago so I could type diacritics easier. Any more detail will have to wait until we return home later this week.

Rob...

[Rob]

In Win10 under Time & Language settings, I have 4 languages listed with English as default (see screenshot). Next, under the Keyboards settings, I have multiple options for English (other screenshot).

[Edward K. Ream]

On Fri, Apr 9, 2021 at 10:02 AM Rob <lar...@gmail.com> wrote:

Thanks for this. The last screenshot shows where the "US-International" keyboard comes from.

I'll take a look at this when I get back to fixing bugs.

Edward

[Edward K. Ream]

On Saturday, April 10, 2021 at 9:56:59 AM UTC-5 Edward K. Ream wrote:

On Fri, Apr 9, 2021 at 10:02 AM Rob <lar...@gmail.com> wrote:

Thanks for this. The last screenshot shows where the "US-International" keyboard comes from.

This post shows how to enable the US-International keyboard. It's quite an Easter Egg.

Edward