User Preferences gui bug fix; now able to toggle off user settings
commit6885833d75c3676f0e213998a2432698c4bd95ac
authorbradymiller <bradymiller@users.sourceforge.net>
Wed, 1 Aug 2012 22:37:49 +0000 (1 15:37 -0700)
committerbradymiller <bradymiller@users.sourceforge.net>
Thu, 2 Aug 2012 01:09:16 +0000 (1 18:09 -0700)
tree7360b1299db6f7bf8019b25a91ed98d122156a0e
parent278f4f0121030846f9250e0c7abcda191b97ea4a
User Preferences gui bug fix; now able to toggle off user settings
interface/super/edit_globals.php