Classifier selection not "real-time"

[Paolo F Cantoni]

The Instance Classifier [Ctrl+L] selection browser doesn't use the current type of the element set.  If you change the type of an element (so that it should appear on the list) and then browse for it, it won't be found until the next time you reload the package.

Similarly, if you change it so that it shouldn't appear, it stays there (but, interestingly, with the new - invalid - icon) , until the package reload.  This makes it problematic for users.

The Search tab works correctly.

Steps:
Create an Artifact.

Observe it is not on the list of Classifiers.

Change to a Class

Observe it is STILL not on the list of Classifiers.

Reload package.

Observe it is NOW on the list of Classifiers.

Change back to Artifact and observe reverse behaviour.Reported,
Paolo

[Paolo F Cantoni]

I've heard back from Sparx and they confirm that the behaviour I saw is specific to the element type I had selected as the instance (admittedly uncommon - a Boundary).

However, we've agreed that: the set of Classifiers should be invariant over the set of source element types.  

I've further suggested that: if, for some reason, that isn't possible, then the UI should be changed to highlight the exceptions in red along the bottom - where the list is now.

Thoughts?
Paolo