racket/scribble

Change scribble/blueboxes to scribble/signature-box

Aberta

#206 aberto em 11 de ago. de 2019

 (4 comentários) (2 reações) (0 responsável)Racket (102 forks)github user discovery
good first issue

Métricas do repositório

Stars
 (250 estrelas)
Métricas de merge de PR
 (Mesclagem média 12h 51m) (1 fundiu PR em 30d)

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.

Guia do colaborador