RODIN / Bugs / #759 Rule details view not refreshed

#759 Rule details view not refreshed

Milestone: 3.3

Status: closed-fixed

Owner: Nicolas Beauger

Labels: None

Priority: 5

Updated: 2016-06-29

Created: 2016-06-14

Creator: Nicolas Beauger

Private: No

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.

Discussion

Laurent Voisin - 2016-06-29

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Laurent Voisin - 2016-06-29

Bug fixed in [c54aa6c]

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Rule details view not refreshed

Group

Searches

Help

#759 Rule details view not refreshed

Discussion