Description: The Cool widget library used by cooledit/coolicon/coolman. This is the Cool widget library, you'll want to install cooledit, coolman, coolicon, or smalledit to make any use of this library.