racket / racket/drracket

Preferences - Bad layout of item (minor enhancement)

Open
#751 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Racket
Stars
516
Forks
103
PR merge metrics
No merged PRs in 30d

Description

DrRacket 8.17 on Linux.

Preferences -> General

Observe the "Automatically Reload Changed Files" has a radio button with three possible option. The options appear beside the description, so that the center of the description aligns with the center of the three options.

Complaint: normally one does not have to read above part of an option's text to see the choices available. Reading above would be acceptable if there were some visual indication that all options belong together, but I didn't see that.

Origin of this report: it confused me. I wan't aware of the top option, and I have wanted it in the past.

I think the options should appear either (1) beneath the option name indented to indicate ownership; or (2) in its current place, but align the tops of both. (beside/align "top", not beside).

The same applies to "Printing Mode".

Image

"Good first issue"... maybe.

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 in DrRacket's Preferences > General panel and inspect the layout for the “Automatically Reload Changed Files” and “Printing Mode” controls. Compare the current alignment with the two proposed arrangements and verify that all choices are visibly grouped and readable without looking above the option text.

Written by the indexing model from the issue text.

Assessment

Domain
design, desktop
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 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.