Closed pglvdm closed 10 years ago
When one is debugging and have a large list of possible events to choose from it would be handly if it would be possible to scroll in the window.
Example:
channels a:nat process Test = begin @ ||| i in set {1,...,50} @ [{}] a.i-> Skip end
Note the CML Event Options window has no visible scrollbar, and we cannot scroll by other means.
Fixed in 773b2e
When one is debugging and have a large list of possible events to choose from it would be handly if it would be possible to scroll in the window.