fuzzed icon indicating copy to clipboard operation
fuzzed copied to clipboard

Frontend for house event should not support arbitrary probabilities

Open laena opened this issue 11 years ago • 1 comments

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.

laena avatar Sep 29 '14 14:09 laena

@Markus-Goetz could know if this is simply a case of tweaking the notations file.

troeger avatar Sep 29 '14 16:09 troeger