fixed issue with the interpreter event option view where events weren't visible. Fix added a scrollbar.
Merge commit '773b2e381fa672ca979655993ebecbd7f670742e' into development
Merged with origin/development and added features do handle real numbers in the model checker.