Metriche repository
- Star
- (513 stelle)
- Metriche merge PR
- (Merge medio 14g) (1 PR mergiata in 30 g)
Descrizione
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