racket/scribble

Change scribble/blueboxes to scribble/signature-box

Offen

#206 geöffnet am 11.08.2019

 (4 Kommentare) (2 Reaktionen) (0 zugewiesene Personen)Racket (102 Forks)github user discovery
good first issue

Repository-Metriken

Stars
 (250 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 12h 51m) (1 gemergte PR in 30 T)

Beschreibung

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.

Contributor Guide