search

racket / scribble

Other
194 stars 90 forks source link

Feature request: Anchor links on hover #341

Closed typesanitizer closed 8 months ago

typesanitizer commented 1 year ago

It would be nice if this were supported. For example, GitHub supports this in Markdown files with a 🔗 symbol:

image

There are some answers to this SO question which cover how to achieve this. Not 100% sure if those are sufficient or not.

Specifically, the feature request is for:

  1. Showing some symbol on hover.
  2. The symbol should link to the heading it is next to; the URL can then be copied by right-clicking or by clicking and selecting it from the URL bar.
sorawee commented 8 months ago

Fixed by #377.

typesanitizer commented 8 months ago

Thanks @sorawee :D