racket / racket/drracket

Home and End keys on macOS

Open
#475 4 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

good first issue
Dominant language
Racket
Stars
516
Forks
103
PR merge metrics
No merged PRs 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

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by locating DrRacket's Home and End keybinding handling on macOS and the General Editing preferences mentioned in the issue. Compare the current behavior with the platform convention described in the linked macOS guide, then verify that the chosen default or preference produces document-level navigation without disrupting other platforms.

Written by the indexing model from the issue text.

Assessment

Tech stack
macos
Domain
desktop, operating-systems
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.