key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

Drag and drop does no longer indicate target formula

Open mattulbrich opened this issue 1 year ago • 0 comments

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?

  • Commit: 4911758ba07017f4af60dc0314ac665c14a542d0

mattulbrich avatar Dec 20 '23 14:12 mattulbrich