racket / racket/drracket

Printing drops tacked / hovered arrows

Open
#812 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

When the definitions window is printed, tacked arrows are removed from the output. It would be really nice to have these be preserved so you could get vectorized captures of the (much prettier now!) arrows.

This is also a little inconsistent with how the printer captures other elements of the state of the window. For example if you are hovering over a identifier binder or occurrence, it will print the green oval highlights, but not the arrows between the ovals.

Screenshot:
Image

vs. printed:
Image

Here's an example of the hover issue. Screenshot:

Image

vs printed:

Image

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

Reproduce the issue by printing the definitions window with tacked arrows and with identifier binder or occurrence highlights, then compare the on-screen and printed output. Trace the definitions-window printing path and ensure both arrow types are preserved in the printed result; done means the printed output contains the same arrows visible on screen.

Written by the indexing model from the issue text.

Assessment

Domain
desktop
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
52/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.