Deleted useless method in options used for graying out certain preferences