Dana Jansens 84dfd803d0 give disabled active buttons a different color from enabled ones		2003-09-24 17:30:55 +00:00
..
themerc	give disabled active buttons a different color from enabled ones	2003-09-24 17:30:55 +00:00