When editing a graphical model, it is possible to place elements out of view, in particular behind the Model/Library tree view. However, the scrollbar doesn't let you go there, so the only way to get to these elements is to use Ctrl-A to select all elements and then move them until the hidden elements become visible.
Of course, one shouldn't place elements here in the first place, but it happened with me that I placed an element there by accident, without knowing. The model checker then kept complaining about an unconnected element that I couldn't find...
Report your bugs here.
1 post • Page 1 of 1