key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

AutoModeAction cannot be started when proof tree or task tree is selected

Open FliegendeWurst opened this issue 1 year ago • 0 comments

Description

The keyboard shortcut for the auto mode (ctrl + space) cannot be used when the proof tree or the task tree is focused.

Steps to reproduce

  1. Load an example
  2. Click on the proof in the task tree
  3. Press ctrl+space

What is your expected behavior and what was the actual behavior?

Expected: auto mode starts Actual: nothing happens

Additional information

  • Commit: f5d5f3a8c2877db096fe5c2dab8bc052db266ca9

FliegendeWurst avatar Jul 21 '23 07:07 FliegendeWurst