I would like to swap the meaning of textcolour() and fontcolour() for sliders. Due to a rather stupid design decision by me textcolour() controls the colour of the slider’s label, while fontcolour() controls the colour of the numerical textbox font. My thinking was that textcolour() would colour the text passed to text(). Anyhow, in hindsight, it was rather dumb. If I make the change it will mean some existing GUIs might look a little different. But ultimately it will lead to more consistency across widgets.
If anyone has any strong objections please say so.