This repository has been archived by the owner on Feb 13, 2025. It is now read-only.

show term ID is now responsive in explain path #29

Merged

alexanderjsummers merged 1 commit into viperproject:master from TigerThePro:master

Jun 21, 2021

Contributor

TigerThePro commented Jun 15, 2021 •

edited

Loading

Deleting line from QuantifierModel/InstantiationPath.cs and DAGView.cs to make the 'show term ID check box' :

responsive during explaining path.
do not change its current state when the user clicks 'explain path'
resolves issue Hiding Term Identifiers doesn't always work in a matching loop explanation #17


          show term ID is now responsive in explain path

6c2732d

alexanderjsummers approved these changes

View reviewed changes

alexanderjsummers merged commit 1fe3383 into viperproject:master

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet