Sorry it took me so long to get around to this.  This should fix the
checkbutton color problem.

Martin

2003-07-02  Martin Hunt  <hunt@redhat.com>
 
        * library/prefs.tcl (pref_set_option_db): Only
        set checkbutton select color for Unix.  Fixes Windows
        checkbutton problem.