K 10 svn:author V 3 jkh K 8 svn:date V 27 1996-06-12T14:20:20.000000Z K 7 svn:log V 145 Some stuff I left out of the last commit - make toggle options toggle again instead of simply letting you set them and staying that way forever. END