User Preferences gui bug fix; now able to toggle off user settings
commit87c9aeb6f998524746845b8a69b29d6003a57f20
authorbradymiller <bradymiller@users.sourceforge.net>
Wed, 1 Aug 2012 22:37:49 +0000 (1 15:37 -0700)
committerbradymiller <bradymiller@users.sourceforge.net>
Wed, 1 Aug 2012 22:58:17 +0000 (1 15:58 -0700)
treec6dcccc23f384372ce8bcff33220c99439358677
parentfce5da203d51050d29fb7ba8f4eddcd9c69ce310
User Preferences gui bug fix; now able to toggle off user settings
interface/super/edit_globals.php