title: Tkinter highlightcolor options on Win7
body: <p>I'm building a Tkinter GUI (Python 2.7) and running it on a Win7 machine.  One of the things I'd like to do is have controls such as buttons &amp; checkboxes take on a different color when they're highlighted (in that the highlight marker itself is a little faint, especially with the default gray background).  However, setting <code>highlightcolor</code> to a distinct color (e.g. <code>'cyan'</code>) isn't having any effect on the GUI; the control remains gray whether it has the focus or not.  As a cross-check I tried setting all the <code>highlightblah</code> options to something different, but still it shows as gray, with no discernible change in the thickness either.</p>
  
  <p>Is this just a limitation of Tkinter on Win7?  Does it just not respond to these options?</p>