Pete-
Instead of storing the button name in the preferences file, why not
just save the button number?
private command setButtonHilite pgroup, pbuttonNumber
set the hilitedButton of group pgroup to pbuttonNumber
end setButtonHilite
--
-Mark Wieder
mwieder at ahsoftware.net