Alt-o on US keyboard with US keyboard layout

[soegaard]

Alt-o does not insert ø in DrRacket.

In preferences these options are enabled:

• enable keybindings in menus
• treat alt key as meta

There are no keybindings for either alt-o nor meta-o that could interfere.

Same problem is present for alt-p which should produce π.
Other alt combinations such as alt-a for å work fine.

[mflatt]

I wonder whether the problem is that DrRacket's keybinding list filters Meta combinations on Mac OS X, even when "Treat Alt key as Meta" is checked. I see bindings for "esc;o" and "esc;p", and on Windows I see "~c:m:o" and "~c:m:p" bindings.

[soegaard]

I have found the following key binding that might affect M-o.

toggle-overwrite (when enabled in prefs) (?:a:o)

I am a bit unsure what the ? mean, but if I enable overwrite mode in prefs,
M-o does toggle it.

Maybe M-o is bound even if overwrite mode is disabled in prefs?

Likewise for M-p I see that ?:a:p is bound to jump-to-previous-error-loc
(?:a:p)

/Jens Axel

2015-01-26 15:46 GMT+01:00 Matthew Flatt notifications@github.com:

I wonder whether the problem is that DrRacket's keybinding list filters
Meta combinations on Mac OS X, even when "Treat Alt key as Meta" is
checked. I see bindings for "esc;o" and "esc;p", and on Windows I see "~c[image:
Ⓜ️]o" and "~c[image: Ⓜ️]p" bindings.

—
Reply to this email directly or view it on GitHub
#1 (comment).

Jens Axel Søgaard

[rfindler]

Sorry for the long delay in catching up here.

As far as I can tell, the behavior I see is the correct behavior with one exception below.

Here's why I think that:

When "treat alt as meta" is turned on, "a:o" toggles overwrite mode and "a:p" is "jump to previous error loc" both of which take precedence over ø or π. These keybindings show up in the DrRacket's keybinding window (Edit|Keybindings|Show Active Keybindings).

When "treat alt as meta" is turned off, "a:o" produces ø and "a:p" produces π and entries for these no longer show up in the keybindings window.

I think one could argue that when "Enable overwrite mode keybindings" is not checked, that maybe "a:o" should produce ø, even if "treat alt as meta" is turned on. Keymaps don't seem to support removing keybindings but I think with some work rearranging the way keymaps are chained that could probably be fixed. Is that worth attempting?