Shareware (?) library that has some useful custom widgets in it. Don't use for new code, here because some old apps require it.