racket/scribble
Change scribble/blueboxes to scribble/signature-box
Ouverte
#206 ouverte le 11 août 2019
good first issue
Métriques du dépôt
- Stars
- (250 étoiles)
- Métriques de merge PR
- (Merge moyen 12h 51m) (1 PR mergée en 30 j)
Description
In racket/drracket#291 and racket/drracket#172, it was decided that "signature box" is a much better term than "blue box", and various parts of drracket's documentation were updated to use this phrase. Scribble's scribble/blueboxes library uses the term "blue box" in its documentation and the names of its exported identifiers.
We should add a scribble/signature-box library that's the same as scribble/blueboxes but with changed names. Then we should deprecate the scribble/blueboxes library and point users to the new library.