Double-clicking an unset binary option in diamond sets it but not vice-versa
Bug #1100455 reported by
Florian Rathgeber
Bug watches keep track of this bug in other bug trackers.