Fixed #328: Eliminate partially-checked checkboxes in Pereferences

This also eliminates the major problem on Xubunty 13.04 x64, when all those
partially checked checkboxes were without check marks at all.