倉庫指標
- 星標
- (513 顆星)
- PR 合併指標
- (平均合併 14天) (30 天內合併 1 個 PR)
描述
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