fuzzed
fuzzed copied to clipboard
Frontend for house event should not support arbitrary probabilities
Currently, house events, like basic events, can be assigned any probability in the GUI. There should actually only be the choice between P=0 and P=1.
@Markus-Goetz could know if this is simply a case of tweaking the notations file.