"Show/Hide Replaced Dependencies" should be a toggle button

[Vampire]

The "Show/Hide Replaced Dependencies" button in the tool window should have state. It currently is not a toggle button while it actually toggles a setting. It should keep pressed for one state and keep unpressed for the other state. And the status bar text and tooltip should optimally also adapt to the current state.