![]() This fixes a problem where mousing over a button in Win7 leaves the button blue instead of fading back to normal color |
||
---|---|---|
.. | ||
cocoa | ||
common | ||
gtk | ||
win32 | ||
platform.rkt |
![]() This fixes a problem where mousing over a button in Win7 leaves the button blue instead of fading back to normal color |
||
---|---|---|
.. | ||
cocoa | ||
common | ||
gtk | ||
win32 | ||
platform.rkt |