Variable Selector must update on Displayproxy property changes
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.
When a source is selected, its variables are shown in the Variable selector. If the ServerManager changes the coloring property on the source (thru Undo/Redo for example) the the GUI is not updated.