chiark / gitweb /
Renamed glTextCtrl to glNumberCtrl to better reflect the function of the class.