search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
44 stars 25 forks source link

Drag and drop does no longer indicate target formula #3378

Closed mattulbrich closed 2 months ago

mattulbrich commented 10 months ago

Description

It used to be that the formula which becomes the target of a drag-and-drop activity was highlighted in green.

This is no longer the case since commit 4759370f719ed506746e7a2a13832eac48cfc6c1 back in June.

Reproducible

always

Steps to reproduce

Drag and drop a value onto a universal quantifier in the antecedant (e.g.) There no highlight on the target formula

Additional information

This is broken since the mentioned commit. Can we just revert that very commit?

mattulbrich commented 2 months ago

The original problem has been fixed on #3391. On #3506 there is a followup correction of the heatmap highlighting.