team-worthwhile/worthwhile — Issue #85: "Prove it" does not launch selection
Author: jspam
Created: 2012-02-21 20:19:29+00:00
State: open
Labels: ui

When activating the Project Explorer, selecting a file and pressing `Prove it`, not the selected file is passed to the prover, but the file currently open in the editor. It should be the selected file, in accordance with the `Run` and `Debug` buttons.