I want to show the entry/do/exit activities in my state diagram. That
should be done by Ctrl+F5. But that key combination is not working and
that menu item is grayed out (like all other filter menu items).
Is this a bug or is it possible to enable filtering for state diagrams?