O botão de mola é a cor que costumava ser chamada de verde primavera antes que a cor verde primavera X11 fosse formulada em 1987, quando as cores X11 foram inventadas pela primeira vez. Esta cor é agora chamada de botão de mola para evitar confusão com a cor da teia.
O botão de mola colorido também é chamado de verde mola macia ou verde mola (tradicional).
O primeiro uso escrito do verde primavera como nome de cor em inglês (ou seja, a cor que agora é chamada de botão de primavera) foi em 1766.