The rule details view is refreshed only when the currently selected proof node changes, in the proof tree or in the proof skeleton.
But it should be updated whenever the rule of the observed node changes.
For instance, in interactive proof, when pruning the currently observed prood node.
Bug fixed in [c54aa6c]