racket/drracket

Home and End keys on macOS

Open

#475 opened on Mar 25, 2021

 (4 comments) (0 reactions) (0 assignees)Racket (102 forks)github user discovery
good first issue

Repository metrics

Stars
 (513 stars)
PR merge metrics
 (Avg merge 14d) (1 merged PR in 30d)

Description

Hi,

I have noticed that DrRacket doesn't follow the conventions on macOS with regards to the Home and End keys.

On an external keyboard the Home and End keys in most macOS applications are bound to "beginning of document" and "end of document". This is can be observed in Pages, Chrome, Safari and other programs.

The macOS User Guide describes this behaviour too: https://support.apple.com/en-gb/guide/mac-help/cpmh0152/mac

In DrRacket these keys are bound to "beginning of line" and "end of line". This follows the convention used on Linux and Windows.

The conventions are described here: https://en.wikipedia.org/wiki/Home_key

Personally I think it would make sense to follow the platform conventions. However typing habits die hard, so if the default keybindings stay, I suggest adding a new option to the "General Editing" tab in preferences.

/Jens Axel

Contributor guide