This is the opposite of what we want. Also, it's not helpful for finding the pointee in other views (i.e. the state graph), because they don't make the raw values visible to the user. We should show a placeholder in the source view and somehow link it to the other views, probably by some sort of notification/event that indicates the value should be highlighted.
This is the opposite of what we want. Also, it's not helpful for finding the pointee in other views (i.e. the state graph), because they don't make the raw values visible to the user. We should show a placeholder in the source view and somehow link it to the other views, probably by some sort of notification/event that indicates the value should be highlighted.